Sciweavers

2 search results - page 1 / 1
» Correct-ed through Construction: A Model-based Approach to E...
Sort
View
ECBS
2006
IEEE
175views Hardware» more  ECBS 2006»
14 years 6 days ago
Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...
Ethan K. Jackson, Janos Sztipanovits
ESEC
1999
Springer
13 years 10 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz