26 search results - page 1 / 6 » Correct-by-Construction Transformations across Design Enviro... |
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
Embedded software design for real time reactive system
ESEC
1999
Springer
13 years 8 months ago
1999
Springer
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 ...
SEUS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
UML
2004
Springer
13 years 9 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...