Dependable Internet of Things
It is predicted that over 50 billion intelligent objects - smart things - will communicate with each other in the Internet of Things by 2020, allowing for numerous everyday applications. For example, cars will be able to communicate with each other on the streets to prevent accidents, and tailor-made furniture will be able to tell industrial production machines what exactly needs to be done to them. One day, the Internet of Things will be as important as the power grid is today. There is, however, still much research to be done, especially regarding the reliability of the Internet of Things. In particular, critical applications in health, traffic and production need to function perfectly at all times. Lead project researchers in the Field of Expertise Information, Communication & Computing at TU Graz are working on fundamental aspects that will enable computers embedded into everyday objects to function reliably, even under the most difficult conditions.
TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems
TRUCONF sets out to increase trust in and reliability of systems of systems, going beyond the standard
notion of functional correctness. It will focus on emergent non-functional properties of complex
composed systems and extend - as well as adopt - well-established modelling, verification and testing
techniques. In closing the modelling-testing loop, TRUCONF will also explore automated nonfunctional
property learning techniques. Outcome of TRUCONF will be a language for rigorous system
design, backed by theory and tools that allow the thorough, systematic and efficient validation of
diverse non-functional properties of a system of systems. TRUCONF was motivated by the real-world
needs of the industry partner and will, once successful, help increasing its competitiveness in a global
CRYSTAL - Critical Systems Engineering Factories
CRYSTAL aims at fostering Europes leading edge position in embedded systems engineering in particular regarding quality and cost effectiveness of safety-critical embedded systems and architecture plattforms.
Its overall goal is to enable sustainable paths to speed up the maturation, integration, and cross-sectoral reusability of technological and methodological bricks of the factories for safty-critical embedded systems engineering in the areas of transportation (aerospace, automotive, and rail) and healthcare providing a critical mass of European technology providers.
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
At the moment, Europe is leader in the area of high-quality embedded systems. To boost and further extend this leading position, effective and efficient technologies for developing and validating embedded systems are of utmost importance. One of the most important enablers to assure the requested quality of embedded systems is the application of powerful validation and verification (V&V) technologies accompanying the embedded systems development process. Unfortunately, the V&V technologies already in industrial use are still too expensive while often not effective enough. MBAT will provide Europe with a new leading-edge Reference Technology Platform for effective and cost-reducing validation and verification, focussing primarily on transportation domain, but also to be used in further domains. Developed by European industrial key players (large companies and SMEs) in this domain and supported by leading research partners, this MBAT RTP will be of high value for the European industry, providing very effective means to assure utmost quality embedded systems at reduced costs. With this, MBAT will also strongly support the EU vision of zero traffic fatalities by 2020. As this project is clearly industrial-driven it will be assured that the MBAT RTP will provide solutions for real-life development challenges existing in the European industry as this is also the goal of ARTEMIS projects.
TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Todays dependable computer-based infrastructures rapidly grow in complexity due to a continuous evolution towards very large, heterogeneous, highly dynamic and ubiquitous computer systems. This trend of a growing complexity is a serious challenge to the task of engineering trustworthy systems: the more complex a system is, the more difficult is the verification of the fulfilment of its dependability requirements. It seems that despite the many advances in automated verification, the demand for new features and flexibility always creates systems that provide the next barrier for auto- mated verification. Where verification is not possible to establish trust, Sir Popper proposed falsification. TRUFAL will implement this idea by applying mutation analysis to the modelling level, leading to a new form of fault-oriented model-based testing. Mutation testing is strongly related to safety and security testing. Today, no commercial tools exist that combine mutation testing and model-based testing. One reason is the complexity of the algorithms behind mutation testing (equivalent mutant problem).
The aim is to develop such a new test case generator that is able to handle models of industrial scale. We will exploit the newest results and techniques from formal methods: formal intermediate models, model decomposition and concolic (concrete and symbolic) execution. This tool, together with domain specific fault models, will be integrated in the quality assurance process of our industrial partners in the safety-critical transportation domain: automotive and railways, which in a mid-term range can lead to improvement of their development processes. The objective is to reduce their testing efforts by at least 10% while providing a measurable and scientifically defendable statement of trust in their systems in terms of fault coverage. All techniques will be well-founded in scientific theory.
EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
MOGENTES aims at significantly enhancing testing and verification of dependable embedded systems by means of automated generation of test-cases relying on development of new approaches as well as innovative integration of state-of-the-art techniques. Driven by the needs of its industrial partners, it will address both testing of non-functional issues like reliability, by e.g. system stress and overload tests, and functional safety tests, meeting the requirements of standards such as IEC 61508, ISO WD 26262, or AUTOSAR. MOGENTES will demonstrate that different domains with a wide variety of requirements can significantly benefit from a common model-based approach for achieving automated generation of efficient test-cases and for verifying system safety correctness using formal methods and fault injection, as this approach increases system development productivity while achieving predictable system dependability properties. For that purpose, proof-of-concept demonstrations will show the applicability of the developed technologies in two application domains: railway and automotive.
In particular, MOGENTES aims at the application of these technologies in large industrial systems, simultaneously enabling application domain experts (with rather little knowledge and experience in usage of formal methods) to use them with minimal learning effort. All in all, MOGENTES will increase knowledge and develop new techniques and tools in the area of verification and validation of dependable embedded systems which can be applied in model-based development processes also by non-experts in formal methods.