RTT Diagram
Abstract not provided.
Publications
Environment-Independent Framework for Early Error Discovery in Embedded System Designs
Abstract not provided.
Maestro-a model-based systems engineering environment for complex electronic systems
22nd Annual International Symposium of the International Council on Systems Engineering, INCOSE 2012 and the 8th Biennial European Systems Engineering Conference 2012, EuSEC 2012
In this paper we present Maestro, a model-based systems engineering (MBSE) environment for design and simulation of complex electronic systems using Orchestra-a simulation tool developed at Sandia National Laboratories. Maestro is deployed as a plugin for MagicDraw and uses Orchestra domain-specific language (DSL) which is based on SysML. Maestro enables a model-based design and analysis approach that replaces the traditional document-based systems engineering process. It provides a unified graphical modeling environment to domain experts who have had to depend on drawing tools for defining system architecture and manual transcription of system topology in creating complex simulation models.
Environment-Independent Framework for Early Error Discovery in Embedded Systems Designs
Abstract not provided.
Practical Integration of Simulation and Formal Verification of Embedded Systems through Library Module Pairings
Abstract not provided.
5 Results