Up

Education and Training Material

Rainer Ersch from MBAT Partner Siemens is very active in the OSLC community. OSLC is the basis of the ARTEMIS IOS (Interoperability Specification). This is part of the training exercise addressed already in chapter 3.1 of the public MBAT deliverable "Training Material". It is clearly related to MBAT as OSLC is a centerpiece of the MBAT RTP and IOS but not solely MBAT work, many groups and initiatives have contributed. Contents of the presentation: Technical overview and History / Status / next Steps of OSLC
Helmut Seidl (TU Munich) prepared a tutorial for the 2013 Summer School in Marktoberdorf in Bavaria, Germany. The topic was “A Generic Infra-structure for Interprocedural Analysis of Concurrent C”. This tutorial summarizes joint work with Kalmer Apinis and Vesal Vojdani done within the EU project MBAT. One infrastructure realizing this intermediate format is the analyzer generator "Goblint" which is developed within the EU project MBAT and practically evaluated on use cases provided by the industrial partners of this project. Abstract: This tutorial is about infra-structures for general-purpose inter-procedural analyses. It consists of two parts. The first part argues that side-effecting constraint systems may serve as kind of a Swiss army knife for specifying analyses, while the second part provides an overview on solving techniques for such systems.
This is part 2 of the tutorial for the 2013 Summer School in Marktoberdorf in Bavaria, Germany. The topic was “A Generic Infra-structure for Interprocedural Analysis of Concurrent C”. This tutorial summarizes joint work of Helmut Seidl with Kalmer Apinis and Vesal Vojdani done within the EU project MBAT.

This tutorial presents how to implement OSLC Consumers and Providers based on the Java SDK OSLC4J provided by the Eclipse project Lyo (the OSLC reference implementation). It primarily targets Java/Eclipse developers willing to learn the basics of OSLC4J technologies and how to configure their Eclipse environment for implementing and executing their OSLC4J Consumers and Providers.

Author: Stefan Paschke (Stefan.Paschke@v2c2.at), Virtual Vehicle (VIF). Date: April 2013.

It was presented at two MBAT online workshops for developers, the 1st and 2nd RTPv1 Dev Cafè, on the 5th and the 25th of April 2013, respectively.

Astrée is an Abstract Interpretation based static analyser for C programs aiming at the proof of absence of Run Time Errors (RTE). It’s role in the process of certification of embedded software, applied particularly in the avionics sector on synchronous programs, is described. The principles of the analyzer, its specific features are explained with short examples (linear interpolation, analysing digital filters, (un)stability of floating point computations, binary decision trees). Benchmark results from analysing synchronous embedded programs (Airbus 340 and 380 fly-by-wire systems) and an outlook on future extensions (particularly to asynchronous software and to automate alarm diagnostics) conclude the presentation.

 

The author is Xavier Rival from ENS (École Normale Supérieure, Paris), together with CNRS and INRIA. The tutorial was first held at KAIST in South Korea, Nov. 7th, 2013.

Two Videos on Tool Integration Examples based on MBAT IOS/OSLC

Partner Elvior provided two videos on YouTube presenting a MBAT demonstrator implemented by Elvior showing the integration between the Elvior testing tool TestCast MBT and two requirements engineering tools: IBM Rational DOORS on the one hand and Enovia  Requirements Central (as part of the ENOVIA integration platform) on the other hand. The scenario consists in supporting traceability between requirements from DOORS and/or Requirements Central to test cases from TestCast MBT, thanks to the MBAT IOS/OSLC specifications. The videos are to be found on

Integration_Elvior_TestCast_MBT_and_Enovia_Requirements_Central

Integration_between_Elvior_TestCast_MBT_and_IBM DOORS

 
Powered by Phoca Download

Additional information