Klaus Kronlöf

UML 2.0 Profile for Embedded System Design

The unified modeling language (UML) 2.0 is emerging in the area of embedded system design. This paper presents a new UML 2.0 profile - called TUT-profile - that introduces a set of stereotypes and design rules for an application, platform, and mapping. The profile classifies different application and platform components, and enables their parameterization. The TUT-profile concentrates on the structure of an application and platform, and utilizes standard UML 2.0 for the behavioral modeling. The application is seen as a set of active classes with an internal behavior. Correspondingly, the platform is seen as a component library with a parameterized presentation in UML 2.0 for each library component.

Integration of SDL and VHDL for high-level digital design

A study of Specification and Description Language (SDL) and VHSIC hardware description language (VHDL) that their semantics differ considerably in several essential areas. The languages can be used to provide descriptions of systems from different and complementary viewpoints. It is shown that these viewpoints can be usefully integrated by defining them as specific views of a more general system model which defines the essentials of the system functionality and architecture. A simple class of dataflow models is selected as the general domain of system descriptions. The SDL and VHDL representations of this domain as well as the meaning of their equivalence to it are defined. These representations outline corresponding subsets of the languages to be used in describing the system model.<<ETX>>

A Method for Mobile Terminal Platform Architecture Development

We introduce a novel architecture, called the Network-on-Terminal Architecture (NoTA), for mobile terminal platforms. This paper concentrates on the platform development and validation flow adopted for NoTA. Platform requirements are expressed as use cases that are modelled using UML2 with Telelogic’s Tau G2 tool. Models are executable so that use case behaviour can be animated. Use cases are used as test cases in the platform architecture development for which use case information is transferred as execution traces. We use CoFluent Studio tool for platform architecture specification and performance analysis. The use case execution trace is fed into a functional model that represents the computation load. NoTA is service oriented and thus the functional model consists of platform services. The computation and communication resources are modelled with a separate platform architecture model. The tool allows exploring different configurations and allocations of the functional and platform models quickly and provides extensive performance information, including power consumption.

UML-B Specification for Proven Embedded Systems Design

1 An Introduction to Formal Methods.- 2 Formally Unified System Specification Environment with UML, B and SystemC.- 3 Embedded System Design Using the PUSSEE Method.- 4 System Level Modelling and Refinement with EventB.- 5 The UML-B Profile for Formal Systems Modelling in UML.- 6 U2B.- 7 BHDL.- 8 Towards a Conceptual Framework for UML to Hardware Description Language Mappings.- 9 Interface-Based Synthesis Refinement in B.- 10 Refinement of Finite State Machines with Complementary Model Checking.- 11 Adaptive Cruise Control Case Study Design Experiment.- 12 Adaptive Cruise Controller Case Study.- 13 Formal Modelling of Electronic Circuits Using Event-B.- 14 The Echo Cancellation Unit Case Study.- 15 Results of the Mobile Design System Experiment.- 16 UML-B Specification and Hardware Implementation of a Hamming Coder/Decoder.- 17 The PUSSEE Method in Practice.- A1 Evaluation Criteria for Embedded System Design Methods.

System Design Practices in Industry Today

This chapter introduces the domain of the book and describes the basic steps of current industrial design process. The results of the analysis of real-life design flows in the participating companies are presented.

Results of the Mobile Design System Experiment

This case study involves the specification of a digital signal processor architecture as may be developed usingvelo ed usin MDA (Model Driven Architecture) techniques.

Evaluation Criteria for Embedded System Design Methods

This annex introduces a representative set of criteria for evaluating the applicability of system design methodologies in practice. The criteria cover a wide range of evaluation parameters, as they are perceived by system designers that apply system design methodologies in practice.

Formally Unified System Specification Environment with UML, B and SystemC

A methodology for introducing formal proof to embedded Systems development. It is based on the formal semantics of B, uses UML notation as the primary design language, provides a formally provable decomposition techique, applies model checking for the verification of temporal properties and supports hardware synthesis in addition to Software implementation.