Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

EWSA
2004
Springer

favoriteEmaildiscussreport

124views Software Engineering» more EWSA 2004»

Correct Development of Embedded Systems

13 years 10 months ago

Correct Development of Embedded Systems

Download www-verimag.imag.fr

This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language. The main contributions of the project are the deﬁnition of a useful subset of UML and some extensions, a formal dynamic semantics integrating all notations and a tool set for the validation of models based on this semantics.

Susanne Graf, Jozef Hooman

Real-time Traffic

Correct Software | EWSA 2004 | Formal Dynamic Semantics | IST OMEGA Project |

claim paper

Related Content

» The Quest for Correct Systems Model Checking of Diagrams and Datatypes

» A vision for embedded software

» Dependable PolygonProcessing Algorithms for SafetyCritical Embedded Systems

» From ModelDriven Development to ModelDriven Engineering

» Building Compilers by Combining Algebras

» Corrected through Construction A Modelbased Approach to Embedded Systems Reality

» Quantitative Evaluation in Embedded System Design Trends in Modeling and Analysis Techniqu...

» Adding aggressive error correction to a highperformance compressing flash file system

» Evaluating distributed realtime and embedded system test correctness using system executio...

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	EWSA
Authors	Susanne Graf, Jozef Hooman

Comments (0)