Eclipse Embedded Day Stuttgart 2010/SessionAbstracts
Erfahrungsbericht zum Einsatz von Eclipse Model 2 Model Transformation mit ATL In einem Validierungsframework für Modelle
Dr. Oscar Slotosch, CEO of Validas AG
Abstract: The need for the application of validation suites for tools that may be used in safety critical processes that conform to international standards like ISO26262, DO178b,IEC61508 is growing, especially if the output of the tools shall be trusted, e.g. code generators, target compiler, or test tools.
In the talk a method is presented that systematically generates input and expected output values for tools with corresponding ecore models (reengineered or developed) in Eclipse EMF. The specification of the models in the validation suites is done using a DSL (based on xText), the generation of the tests is done using M2M (ATL). The end of the tests is determined using a model-projection mechanism that shows that all elements of the model that are used in reference projects have been tested. The method has been successfully applied by Validas AG to build two different validation suites for different code generators of leading modelling tools used in automotive sector. Further information is published at www.validas.de
Dr. Oscar Slotosch, Born 1966, Munich, Phd in Computer Science (Formal Methods), Leader of the award-winning academic case-tool AutoFOCUS, Founder and CEO of Validas AG, Expert for model-based development, model-based testing and Code-Generators.
Visual Tools for Analysis of Embedded Applications
Abstract: This presentation will explain visual tools for the analysis of embedded and time-critical applications. Short live demos will give an insight into the use of these tools during everyday development. The tools that will be shown are VeriFlux and aicas ThreadMonitor. VeriFlux is a JVM independent static analysis tool for Java thatperforms a program-wide analysis using abstract interpretation. As results, it finds possible run-time exceptions or deadlocks.Several views are used to browse through these errors: A source-code centric view highlights errors at package, class, method, source-codeand byte-code level, while a problem-centric view enables browsing through the errors detected and zooming down to the corresponding source positions. aicas ThreadMonitor enables remote recording of events that occur ina JVM running on an embedded device. These events include thread-switches, Java monitors, garbage-collection, user events, etc. The time-scale of these events ranges from hundreds of nanoseconds up to seconds or minutes, such that data at timeresolutions that are many orders of magnitude apart need to be displayed properly. The techniques used for the visualization andbrowsing through this data will be demonstrated together with specific tools such as worst-case execution time determination froma run-time measurement.
Dr. Siebert received his Diploma (MSc) in computer science at theUniversity of Stuttgart, Germany, in 1997. He worked for 2 years asa research engineer on compilation and optimization for embeddedJava at the The Open Group research institute in Grenoble, France. In 2001, he received his PhD at the University of Karlsruhe on thesubject of real-time garbage collection for Java. This technology became the basis of the JamaicaVM real-time Java implementation. Dr. Siebert is one of the founding partners of aicas GmbH that develops and distributes Java tools VeriFlux and JamaicaVM. He is Chief Technology Officer at aicas and technical leader of the JEOPARD project that addresses multicore real-time systems.
eTrice: a proposed Eclipse project for embedded MDD based on ROOM
Abstract: The proposed Eclipse project called eTrice is introduced. It will be pointed out why ROOM (Real-Time Object Oriented Modeling, Bran Selic et al.) is better suited for the modelling of embedded systems than UML2 - despite the fact that ROOM inspired some new concepts in UML2 like ports and composite structure diagrams. eTrice will not only deliver a ROOM meta-model but also state of the art tooling support with complete code generation in C, C++ and Java. An easily portable run time framework for each supported language and exemplary Hardware/OS combinations are also in the scope of the project.
Thomas Schuetz holds a degree in aerospace engineering of the University of Munich. He is CEO and consultant of Protos Software, which he founded in 1997. Many projects since, in which he served as project lead or architect, could benefit from his in-depth knowledge of model-based development for Embedded Systems.