Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date

Joe Seibel
October 2016 - Conference Paper Modeling, Verifying, and Generating Software for Distributed Cyber-Physical Systems using DMPL and AADL.

Topics: Cyber-Physical Systems

This paper provides an end-to-end framework where DART systems can be designed, analyzed, and implemented within the same toolchain. In this talk, the authors present this toolchain and demonstrate it on a few representative examples.

October 2012 - Technical Report Resource Allocation in Dynamic Environments

Topics: Ultra-Large-Scale Systems

When warfighting missions are conducted in a dynamic environment, the allocation of resources needed for mission operation can change from moment to moment. This report addresses two challenges of resource allocation in dynamic environments: overstatement of resource needs and unpredictable network availability.

March 2012 - Special Report What’s New in V2 of the Architecture Analysis & Design Language Standard?

Topics: Software Architecture

This report provides an overview of changes and improvements to the Architecture Analysis & Design Language (AADL) standard for describing both the software architecture and the execution platform architectures of performance-critical, embedded, real-time systems.

May 2011 - Presentation Experimentation in the Use of Service Orientation in Resource-Constrained Environments

This presentation from SATURN 2011 discusses work done in off-the-shelf SOA technologies in military environments.