From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller

Chachkov, Stanislav; Buchs, Didier

doi:10.1109/iwrsp.2001.933852

Proceedings chapter

English

From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller

ContributorsChachkov, Stanislav; Buchs, Didier

Presented atMonterey, 25-27 June 2001

Published inRSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping, p. 142-148

PublisherLos Alamitos, Calif. : IEEE Computer Society Press

Publication date2001

Abstract

We present an example of a construction of an embedded software system - a controller - from the formal specification to executable code. The CO-OPN (Concurrent Object Oriented Petri Net) formal specification language is used for modelling the controller and the associated hardware system with the inherent limitation of its physical components. CO-OPN formal language is based on coordinated algebraic Petri nets. The CO-OPN model can be used to verify some properties of the controller in the concrete physical environment. This is achieved by constrained animation of the valid prototype produced by automatic code generation. The possibility to incrementally refine the generated code can be used to obtain a more efficient implementation.

Affiliation entities

Research groups

Software Modeling and Verification

Citation (ISO format)

CHACHKOV, Stanislav, BUCHS, Didier. From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller. In: RSP ’01 Proceedings of the 12th International Workshop on Rapid System Prototyping. Monterey. Los Alamitos, Calif. : IEEE Computer Society Press, 2001. p. 142–148. doi: 10.1109/iwrsp.2001.933852

Proceedings chapter (Published version)

Identifiers

PID : unige:120867
DOI : 10.1109/iwrsp.2001.933852

321views

280downloads

Creation12/07/2019 17:21:00

First validation12/07/2019 17:21:00

Update15/01/2026 14:05:51

Status update15/01/2026 14:05:51

Last indexation15/01/2026 14:08:19

Archive ouverte UNIGE

From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller

Technical informations