Model-Driven Design and ASM-Based Validation of Embedded Systems

View Sample PDF

Author(s): Angelo Gargantini (Universita di Bergamo, Italy), Elvinia Riccobene (Universita degli Studi di Milano, Italy)and Patrizia Scandurra (Universita di Bergamo, Italy)
Copyright: 2010
Pages: 31
Source title: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
Source Author(s)/Editor(s): Luís Gomes (Universidade Nova de Lisboa, Portugal)and João M. Fernandes (Universidade do Minho, Portugal)
DOI: 10.4018/978-1-60566-750-8.ch002

Keywords: Computer Science & IT / Information Science Reference / Systems & Software Design / Systems and Software Engineering

Purchase

View Model-Driven Design and ASM-Based Validation of Embedded Systems on the publisher's website for pricing and purchasing information.

Abstract

In the embedded system and System-on-Chip (SoC) design area, the increasing technological complexity coupled with requests for more performance and shorter time to market have caused a high interest for new methods, languages and tools capable of operating at higher levels of abstraction than the conventional system level. This chapter presents a model-driven and tool-assisted development process of SoCs, which is based on high-level UML design of system components, guarantees SystemC code generation from graphical models, and allows validation of system behaviors on formal models automatically derived from UML models. An environment for system design and analysis is also presented, which is based on a UML profile for SystemC and the Abstract State Machine formal method.

The IRMA Community

Research IRM

Model-Driven Design and ASM-Based Validation of Embedded Systems

Purchase

Abstract

Related Content

IRMA Sponsors