3rd Estonian Summer School in
Computer and Systems Science (ESSCaSS'04)

III Eesti Arvuti- ja Süsteemiteaduse Suvekool (EASTS'04)

Pedase, August 8-12, 2004.

UML AND FORMAL DEVELOPMENT METHODS FOR EMBEDDED SYSTEMS

Speaker: Anders Ravn
Aalborg Universitet
http://www.cs.auc.dk/~apr

Abstract:

The lectures present a unifying conceptual framework for components, component interfaces, contracts and composition of components by focusing on the collection of properties or qualities that they must share. A specific property, such as signature, functionality behaviour or timing is an aspect. Each aspect may be specified in a formal language convenient for its purpose and, in principle, unrelated to languages for other aspects. Each aspect forms its own semantic domain, although a semantic domain may be parameterized by values derived from other aspects. The proposed conceptual framework is introduced by small examples, using UML as concrete syntax for various aspects, and is illustrated by one larger case study based on an industrial prototype of a complex component based system.

Contents:

  1. Introduction
    Introduction of component related concepts as currently found in ARTIST Roadmap. This includes the roles of components in systems development processes.
  2. Aspects
    Definition of an aspect and its interpretation. Illustration of some common aspects: signature, functionality, behaviour, timing, platform dependency, and resource use.
    Criteria for useful aspect specification languages: definedness, conformance checking capabilities, and composability. Tool support.
    Interdependencies between aspects and their resolution by parameterization.
  3. Components and composition
    Characterization of components by their aspects, with interfaces as selected aspects required or offered. Composition relations and compatibility. Frameworks and platforms. Development processes: Design, Validation, Quality Estimation, and Deployment.
  4. Case Study
    A heterogenous component based system.
  5. Conclusion
    Related Work and Discussion

Component Based Development - Issues and Challenges

This lecture is based on the manuscript Formalization in Component Based Development. It examines the rationale for introducing components as a building block for software systems, discusses their characteristics and intended use in a development process for embedded systems. It outlines how different aspects of a component may be formalized and touches upon the purpose of formalization. Finally we present an example of a component based embedded system.

Frameworks for CBD and MBD

The lecture will survey some of the CBD and MBD frameworks which are discussed in the ARTIST 1 Roadmap. We look at CORBA in some detail in order to understand the implications of connecting modules dynamically in a heterogeneous network of computers.

Components and UML

We survey UML2 and discuss its potential for being a Model Language for Component Based Development. In particular we look at UML-tools as a potential carrier for verification and validation procedures for the various aspects.

Component Aspects and their formalizations

The ARTIST Roadmap contains a survey of techniques for formalizing functional and non-functional aspects of components. It is used as a basis for discussing promising research directions in component based development.

 


Valid CSS! Valid XHTML 1.0 Strict Last modified on August 05 2004 21:39:40. esscass04 at cc.ioc.ee