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.