2875 search results - page 51 / 575 » Using separation of concerns for embedded systems design |
FORTE
1998
14 years 11 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
FORTE
2007
14 years 11 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
ECRTS
2003
IEEE
15 years 3 months ago
2003
IEEE
1 : The ongoing revision of the POSIX.13 standard —real-time profiles for portable operating system interfaces— proposes adding new services to the Minimum RealTime System Prof...
ASPDAC
2005
ACM
14 years 11 months ago
2005
ACM
Abstract— Today’s embedded systems are typically distributed and more often confronted with timevarying demands. Existing methodologies that optimize the partitioning of comput...
MIDDLEWARE
2007
Springer
15 years 3 months ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...