Modeling industrial embedded systems with UML
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
An incremental specification flow for real time embedded systems (poster paper)
DATE '00 Proceedings of the conference on Design, automation and test in Europe
YAML: a tool for hardware design visualization and capture
ISSS '00 Proceedings of the 13th international symposium on System synthesis
COMPSAC '99 23rd International Computer Software and Applications Conference
Model Checking UML Statechart Diagrams Using JACK
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Test Selection from UML Statecharts
TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
Autolink: A Tool for Automatic Test Generation from SDL Specifications
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Using the Object Paradigm for Distributed Real-Time Systems
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Verification of UML-Based Real-Time System Designs by Means of cTLA
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Hi-index | 0.00 |
In this paper, we propose the use of a UML methodologyto go from user requirements and specifications to end ofproduction testing of complex embedded systems. Weconsider behavioral, structural and physical levelsbuilding a comprehensive and modular model. Theprocess contains the definition of a set of properties beingcreated and then updated in each phase, and heavilyrelies on message passing and elaborating facilities toincrease both abstraction and descriptive power. Result ofthe process is test pattern generation using custom ATEcommands. We also present and discuss an under-developmentcase study of a significantly complexautomotive application.