Eclipse Embedded Day Stuttgart 2010/SessionAbstracts
- 1 Erfahrungsbericht zum Einsatz von Eclipse Model 2 Model Transformation mit ATL In einem Validierungsframework für Modelle
- 2 Visual Tools for Analysis of Embedded Applications
- 3 eTrice: a proposed Eclipse project for embedded MDD based on ROOM
- 4 Morpheus: the first telematics IDE based on Eclipse
- 5 Scaling configuration management: from single embedded device deployment to fully customized multi-customer, multi-device software. A case study
- 6 Developing Smart Home Systems by using OSGi and Plug Computers
- 7 Lessons Learned und die Vorteile des Einsatzes von textuellen domänenspezifischen Modellen auf Basis von Open Source-Tools
- 8 Eclipse Anwendungen mit DITA dokumentieren
- 9 Testing embedded graphical user interfaces – friend or foe?
- 10 Sphinx – an Industrial Strength Tool Platform Fostering Model-driven Development of Embedded Systems
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.
Morpheus: the first telematics IDE based on Eclipse
Abstract: Mobile Devices main goal is to provide to telematics field an easy way to add an modify features arising from demand. Based on the existing fully functional MCT SDK, Morpheus provides a full telematics IDE for our products using a large set of Eclipse technologies & frameworks. In the presentation, we'll see how we used EMF technology to provide userfriendly editors based on SWT. A GUI editor based on GEF is one of our prior challenge for this IDE, it creates EMF generated XML files that are transformed using XSL into Java classes to reduce users interaction. For testing purpose, and as we speak of embedded software, we created a device simulator plugged into Eclipse Debug tools.
Scaling configuration management: from single embedded device deployment to fully customized multi-customer, multi-device software. A case study
Abstract: In this talk I will show the path we took from an initial application that ran on a specific embedded platform to a software solution that allows the management of customer configurations and supports software packaging and deployment on a whole range of embedded platforms. This talk is a case study of the path we took from from configurable software to customized software.
The following applications were developed by MicroDoc GmbH for SkiData AG.
The initial application is called DEI (Device Enabling Interface) and it is an OSGi, embedded Java application that runs on an ARM, embedded-Linux platform. DEI is a hardware centric framework for running Skidata specific components called Modules, Protocols and Ports. A good example for a Module is a RFID reader, a Protocol can be CRC32, a Port implementation can be USB, and so on. DEI controlls the lifecycle, configuration and interaction of the various components and offers services like lookup and automatic discovery to the application.
The next step is called MDM (Multi Device Management). MDM deals with devices in a N:1 relation instead of a 1:1 relation as it is the case in DEI. Due to the fact that 3rd party equipment often doesn't have enough resources to run DEI on-board, the DEI is run outside of the device on a hardware instance that is powerful enough to run all the necessary instances of DEI.
The final step is called SCM (Software Configuration Management) and addresses the typical problems that arise in a multi-customer, multi-device environment: the management the lifecycle of software components, the management of customer configurations, the packaging and deploying of software compilations. A software compilation is a software distribution consisting of several customized software components, which can be deployed on a device.
I am a senior software engineer at MicroDoc GmbH in Munich and I was involved in the introduction of TDD within the MicroDoc development process. I have experience in tools development and automation techniques, in the embedded as well as the enterprise domains
Developing Smart Home Systems by using OSGi and Plug Computers
Abstract: There is a growing interest in using OSGi in residential products such as home gateways and intelligent home control panels, but the production of these devices have often required significant development and marketing resources. The availability of extensible, high-performance, always-on, and environmentally friendly computing units like Plug Computer makes the realization of OSGi-based use cases much more attractive to developers and consumers. This session covers :
- OSGi and Plug Computer: architecture and benefits overview
- Getting started with OSGi on Plug Computer
- Development/tuning tips
- Demonstration including the development, deployment and profiling of a simple smart home application
Dimitar Valtchev is Chief Technology Officer of ProSyst Software which offers several OSGi and Eclipse based products. His main interests are in the fields of embedded systems, device management, and distributed computing. Currently Dimitar is involved in numerous residential,automotive and mobile projects using the OSGi technology.
Lessons Learned und die Vorteile des Einsatzes von textuellen domänenspezifischen Modellen auf Basis von Open Source-Tools
Abstract: Textuelle domänenspezifische Sprachen sind ein starker Trend in der Software-Entwicklung. Welche Lessons-Learned macht ein mittelständisches Unternehmen bei der Einführung von modellbasierter Software-Entwicklung für Embedded Systems? In diesem Talk werden an Hand eines realen Projekts die Lessons Learned und die Vorteile des Einsatzes von textuellen domänenspezifischen Modellen auf Basis von Open Source-Tools erörtert. Gerade im Embedded Bereich wird Modellierung noch mit ineffizienter Implementierung in Verbindung gebracht. Mit neuen Modellierungstechniken ist dies jedoch nicht der Fall. Die Referenten werden darüber sprechen, wie sich die Einführung auf Anforderungsmanagement, Projektplanung, Design und Implementierung auswirken. Somit wird modellgetriebene Software-Entwicklung nicht nur vom technischen Standpunkt der Werkzeuge betrachtet, sondern aus einer gesamthaften Projektsicht.
Eclipse Anwendungen mit DITA dokumentieren
Gunthilde Sohn, isntictools GmbH
Abstract: Dokumentation ist wichtiger Bestandteil professionell entwickelter Anwendungen. Unser Vortrag zeigt, wie die Eclipse RCP Anwendungen auf Basis des DITA Standards effizient dokumentiert werden können. Es wird auf verfügbare freie und kommerzielle Dokumentationstools im Eclipse Umfeld eingegangen. Ausserdem wird gezeigt, wie Entwicklungs- und Dokumentationsprozess speziell im Bereich der Eclipse Anwendungsentwicklung syncronisiert werden können.
Testing embedded graphical user interfaces – friend or foe?
Abstract: Automated graphical user interface tests are widely used for end user desktop applications – but what about testing user interfaces for embedded devices? This talk will take a look at test design for small mobile graphical user interfaces (such as eSWT, eRCP) and will point out common obstacles and solutions in this advanced environment. Furthermore this talk will demonstrate inside project knowledge of eSWT and eRCP development for mobile devices as well as a basic overview of the competitors: Android and iPhone OS. The audience will get an introduction to automated testing on embedded devices combined with a handson demonstration of different embedded testing environments.
Markus is a software developer and tester at BREDEX GmbH. His main areas of expertise are the design and maintenance of automated tests and Eclipse RCP development. He is one of the core team developers for the automated test tool GUIdancer and holds a Diplom (German degree) in Computer Science from the University of Applied Sciences in Braunschweig.
Sphinx – an Industrial Strength Tool Platform Fostering Model-driven Development of Embedded Systems
Abstract: It is a known fact that embedded system complexity doesn’t stop increasing and model-driven software development turns more and more out to be an adequate approach to keeping this complexity under control. But it is still a major hassle to provide corresponding integrated tool environments which are sufficiently domain-oriented, scalable, and robust. Eclipse as an open and extensible tool platform is a very good starting point but not a solution per se. The Eclipse Modeling Project provides many of the additionally required building blocks but is very fragmented and not up to the point where it could provide the level of tool support embedded system designers expect. The recently proposed Sphinx project is meant to significantly improve this situation. It will be seeded with code from Artop – a platform for creating modeling tools supporting the AUTOSAR standard which has already been deployed at several larger automotive companies. Complementary building blocks will come from the Papyrus project. Sphinx will provide a modeling tool platform enabling IDE-like tool support for specific modeling languages to be developed at reasonable effort and cost. It will leverage and foster the industrial strength known from Artop and head towards a domain- and vendor-independent interoperability layer (backbone) for modeling tools of any kind.