SaveCCM: An Analysable Component Model for Real-Time Systems | Zendy

Jan Carlson | Zendy; John Håkansson | Zendy; Paul Pettersson | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

SaveCCM: An Analysable Component Model for Real-Time Systems

Author(s) -

Jan Carlson,

John Håkansson,

Paul Pettersson

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.05.019

Subject(s) - computer science , automaton , model checking , embedded software , model transformation , formalism (music) , programming language , component (thermodynamics) , scheduling (production processes) , component based software engineering , semantics (computer science) , real time operating system , automata theory , software , embedded system , software system , theoretical computer science , mathematics , artificial intelligence , art , musical , mathematical optimization , physics , consistency (knowledge bases) , visual arts , thermodynamics

Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essential dimension is time, since many embedded systems have real-time requirements. We define a formal semantics of a component language for embedded systems, SaveCCM, a language designed with vehicle applications and safety concerns in focus. The semantics is defined by a transformation into timed automata with tasks, a formalism that explicitly models timing and real-time task scheduling. A simple SaveCCM system with a PI controller is used as a case study. Temporal properties of the PI controller have been successfully verified using the timed automata model checker Uppaal

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research