| 1. |
|
|
| 2. |
- Dziwok, Stefan, et al.
(författare)
-
Real-Time Coordination Patterns for Advanced Mechatronic Systems
- 2012
-
Ingår i: Proceedings of the 14th International Conference on Coordination Languages and Models (COORDINATION 2012). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 0302-9743 .- 1611-3349. - 9783642308284 ; 7274, s. 166-180
-
Konferensbidrag (refereegranskat)abstract
- Innovation in today's mechanical systems is often only possible due to the embedded software. Particularly, the software enables the connection of previously isolated systems resulting in, so-called, advanced mechatronic systems. Mechatronic systems are often employed in a safety-critical context. Thus, hazards that are caused by faults in the software have to be prevented. Preferably, this is achieved by already avoiding these faults during development. One major source of faults is the complex coordination between the connected mechatronic systems. In this paper, we present Real-Time Coordination Patterns for advanced mechatronic systems. These patterns formalize proven communication protocols for the coordination between mechatronic systems as reusable entities. Furthermore, the proposed pattern formalism supports the scalable formal verification for fault avoidance by utilizing the protocols that are based on patterns to decompose the system. We illustrate the patterns with examples from different case studies.
|
|
| 3. |
|
|
| 4. |
- Pohlmann, Uwe, et al.
(författare)
-
A Modelica library for real-time coordination modeling
- 2012
-
Ingår i: Proc. of the 9th International Modelica Conference, Munich, Germany, Munich, September 3 - 5, 2012.
-
Konferensbidrag (refereegranskat)abstract
- 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.
|
|
