Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
| |
|
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
Sébastien Gerard5  , Alexandre David6 and François Terrier5
| (5) |
CEA/Saclay, CEA-LIST/DTSI/SLA/L-LSP, F-91191 Gif sur Yvette Cedex, France |
| (6) |
Department of Computer Systems, Uppsala University, Box 325, 751 05 Uppsala, Sweden |
Abstract
This workshop is the third one of a series of workshops which objective is to identify the main lacks of UML for developing
real-time embedded systems and the main prospective directions for research to these difficulties. For that, it aims to gather
academics and industrial people to discuss on industrial needs, on formalisms prospects and on advanced solutions. It tries
to tackle the three main part of a development cycle: specification/analysis, design/implementation and validation.
Two main common issues have emerged from the workshop submissions The first one developed in the morning of the workshop was
focused on real-time features specification of real-time embedded systems. The afternoon of the workshop was then dedicated
to component modeling issues when targeting real-time embedded system.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|