Sciweavers

462 search results - page 23 / 93
» Applying UML and MDA to Real Systems Design
Sort
View
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 7 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
117
Voted
RTAS
2009
IEEE
15 years 7 months ago
The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
Stanley Bak, Deepti K. Chivukula, Olugbemiga Adeku...
EWSA
2004
Springer
15 years 5 months ago
Constraints of Behavioural Inheritance
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design a...
Ella E. Roubtsova, Serguei A. Roubtsov
FASE
2007
Springer
15 years 6 months ago
Activity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
Rolf Hennicker, Alexander Knapp
106
Voted
ICAC
2008
IEEE
15 years 7 months ago
Digital Evolution of Behavioral Models for Autonomic Systems
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
Heather Goldsby, Betty H. C. Cheng, Philip K. McKi...