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

  • Authors:
  • Sebastien Gerard;Alexandre David;François Terrier

  • Affiliations:
  • -;-;-

  • Venue:
  • ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Thisworkshop 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.