Actifsource

The CIP Method: Component- and Model-Based Construction of Embedded Systems

Actifsource code generator for any programming language
Actifsource Whitepaper
Article The CIP Method: Component- and Model-Based Construction of Embedded Systems
Language English
Keywords
  • Embedded System
  • State Machine
  • Model Based Software Development
Abstract
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The functional problem is solved by constructing a formal reactive behavioral model.

A CIP model consists of concurrent clusters of synchronously cooperating extended state machines. The state machines of a cluster interact by multi cast events.

State machines of different clusters can communicate through asynchronous channels. The construction of CIP models is supported by the CIP Tool, a graphical modeling framework with code generators that transform CIP models into concurrently executable CIP components. The connection problem consists of connecting generated CIP components to the real environment.

This problem is solved by means of techniques and tools adapted to the technology of the interface devices. Construction of a CIP model starts from the behavior of the processes of the real
environment, leading to an operational specification of the system behavior in constructive steps.

This approach allows stable interfaces of CIP components to be specified at an early stage, thus supporting concurrent development of their connection to the environment.

Download


Like us


facebook.com/actifsource

Follow us

News  RSS-Feed abonnieren

Actifsource V11.4.0 11/23/23

- 24 Features - 7 Bug Fixes more...


Job als R&D Ingenieur (Embedded-Systems, Model Driven Development) 6/22/23

Sind Software-Entwicklung und Embedded-Systems Ihre Leidenschaft? Denken Sie gerne abstrakt? Dann sind Sie bei uns genau richtig! Wir bauen für unsere Auftraggeber kundenspezifische more...


Actifsource V11.3.1 11/15/22

- 5 Bug Fixes more...


Actifsource V11.3.0 10/13/22

- 24 Features - 11 Bug Fixes more...


Actifsource V11.2.0 1/25/22

- 18 Features - 5 Bug Fixes more...


Actifsource V11.1.0 8/24/21

- 6 Features - 24 Bug Fixes more...


Actifsource V11.0.0 5/31/21

- 8 Features - 4 Bug Fixes more...


Neue Datenschutzrichtlinie 5/17/18

Bitte beachten Sie unsere Datenschutzrichtlinie: Datenschutzrichtlinie more...


New Eclipse Update Site 10/26/17

Please note that we have new update sites: https://updates.actifsource.com/updates https://updates.actifsource.com/updates-enterprise more...


Actifsource User Manual: New chapter added 3/30/17

Added new chapter 12 Generic Import Wizard Actifsource User Manual more...


Actifsource web site becomes mobile friendly 2/5/16

Thanks to weblica it was an easy task to become mobile friendly! more...


JavaListFunction 11/25/15

Learn about JavaListFunctions. Create your own JavaListFunction to sort resources. more...