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.

[img] 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.

Item Type:

Conference or Workshop Item (Paper)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG) [discontinued]

UniBE Contributor:

Ducasse, Stephane

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

Language:

English

Submitter:

Anja Ebeling

Date Deposited:

06 Dec 2017 11:31

Last Modified:

11 Apr 2024 16:12

BORIS DOI:

10.7892/boris.104815

URI:

https://boris.unibe.ch/id/eprint/104815

Actions (login required)

Edit item Edit item
Provide Feedback