Non-Functional Requirements in a Component Model for Embedded Systems

Wuyts, Roel; Ducasse, Stéphane (2001). Non-Functional Requirements in a Component Model for Embedded Systems. In: Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001. 14. Okt. 2001. Tampa Bay, Florida, USA.

Text Wuyt01e.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (73kB)

In this paper we describe an interesting context to study formal methods for component systems: embedded devices. The context of embedded devices is highly constrained by the physical requirements the devices have to adhere to. As a result, component models for embedded devices are not general purpose but geared towards these constrained contexts. In this paper we give the concrete setting of the Pecos project (a project with as goal component engineering for embedded devices). We describe the Pecos component model, and show possibilities where we think formal verification could be useful. We would like to use this as a very concrete example to discuss formal verification techniques.

Interest & Impact

Downloads

0 since deposited on 06 Dec 2017
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item