Lecture Notes in Computer Science, 2000, Volume 1964/2000, 150-177, DOI: 10.1007/3-540-44555-2_13

Specification, Implementation, and Validation of Object-Oriented Embedded Systems

François Terrier, Nikos S. Voros and Udo Brockmeyer

View Related Documents

Abstract

This workshop 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. Three main sessions have emerged from the workshop submissions. The first one was focused on setting the end users requirements for UML modeling of real-time embedded systems. The second has been focused on design and implementation techniques proposals and experiences. The third has been centered on formal techniques for the validation of the applications from their UML model.

Fulltext Preview

Image of the first page of the fulltext document