A Modelica library for real-time coordination modeling

• Increasingly, innovative functionality in embedded systems is realized by connecting previously autonomous embedded systems. This requires real-time communication and coordination between these connected systems. Modelica and the StateGraph2 library provide a good environment for modeling embedded systems including controllers and physics. However, it lacks appropriate support for modeling the communication and coordination part. In this paper, we present an extension to the State-Graph2 library that enables modeling asynchronous and synchronous communication and rich real-time constraints. We illustrate our extension of the State- Graph2 library by modeling and simulating two miniature robots driving in a platoon.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Software Engineering (hsv//eng)

Nyckelord

StateGraph2

Modelica Library

Coordination

Asynchronous Communication

Real-Time

Modelica Library

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)