Naslov
A component-based development framework for supporting functional and non-functional analysis in control system design

Autori
Fredriksson, Johan ; Tivoli, Massimo ; Crnković, Ivica

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005) / - Long Beach (CA) : The Association for Computing Machinery (ACM), 2005, 368-371

Skup
20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)

Mjesto i datum
Long Beach (CA), Sjedinjene Američke Države, 11.2005

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
embedded systems

Sažetak
The use of component-based development (CBD) is growing in the software engineering community and it has been successfully applied in many engineering domains such as office applications and in web-based distributed applications. Recently, the need of CBD is growing also in other domains related to dependable and embedded systems, namely, in the control engineering domain. Control systems constitute the core functionality of modern embedded systems such as vehicles and consumer electronics. However, the widely used commercial component technologies are unable to provide solutions to the requirements of embedded systems as they require too much resource and they do not provide methods and tools for developing predictable and analyzable embedded systems. There is a need for new component-based technologies appropriate to development of embedded systems. In this paper we briefly present a component-based development framework called SAVEComp. SAVEComp is developed for safety-critical real-time systems. One of the main characteristics of SAVEComp is syntactic and semantic simplicity which enables a high analyzability of properties important for embedded systems. By means of an industrial case-study, we show how SAVEComp is able to provide an efficient support for designing and implementing embedded control systems by mainly focusing on simplicity and analyzability of functional requirements and of real-time and dependability quality attributes. In particular we discuss the typical solutions of control systems in which feedback loops are used and which significantly complicate the design process. We provide a solution for increasing design abstraction level and still being able to reason about system properties using SAVEComp approach. Finally, we discuss an extension of SAVEComp with dynamic runtime property checking by utilizing run-time spare capacity that is normally induced by real-time analysis.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA