Using UML for Modeling Complex Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Rapid Prototyping Environment for Real-Time Control Education
RTEW '98 Proceedings of the Third IEEE Real-Time Systems Education Workshop
A Formal Approach to Requirements-Based Programming
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Systematic Testing of Model-Based Code Generators
IEEE Transactions on Software Engineering
A requirements-based programming approach to developing a NASA autonomous ground control system
Artificial Intelligence Review
Viewing CSP Specifications with UML-RT Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Heaven or hell? a "Real-time" UML? panel
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Enabling control software generation by using mechatronics modeling primitives
Advanced Engineering Informatics
Hi-index | 0.00 |
Software development for the control of mechatronic systems in industry still suffers from the lack of integration of the domains involved, the lack of verification tools, and the fact that the physical structure of mechatronic systems, irregular situations, and service functions are often insufficiently taken into account. To address these problems, we present a framework and a set of tools with which a multidisciplinary product development team can (almost) automatically generate control software for mechatronic systems.