Projects

industrial Framework for Embedded Systems Tools

Description: iFEST will specify and develop an integration framework for establishing and maintaining tool chains for engineering of complex industrial embedded systems; a significant technical contribution in the field of embedded systems technology. Specific emphasis is placed on open tool chains targeting HW/SW co-design for heterogeneous and multi-core solutions, and life cycle support for an expected operational life time of several decades. iFEST results will demonstrate a potential reduction by 20% of both time-to-market and engineering lifecycle costs, including cost of poor quality. iFEST will enable engineers to explore the architectural design space at a high level of abstraction, select a cost effective design, and from the abstract models produce semiautomatically the hardware and software implementations in a cost effective balance. A major innovation in this respect is the targeted integration of tools from the world of model driven engineering with traditional HW/SW co-design tools. Several iFEST industrial case studies will validate the integration framework and two tool chains, for control and streaming applications. The project will define and validate a set of tool integration technologies that will be used to integrate various combinations of tools into a tool chain. The integration framework will permit tools to be readily replaced within the tool chain; thus dealing with issues such as tool obsolescence and tool lock-in. iFEST will promote standardisation of project results to encourage industrial up-take, aligned with the ARTEMISIA Work Groups on standardisation and tool platforms. iFEST will bring the industry from a state where efficient tool usage in practice is low, to a state where innovative products and services can be designed much more efficiently due to well-functioning tool chains. Having a greatly improved design capacity will create new markets and redefine existing ones for industrial embedded systems.
Identification: Artemis iFEST project, grant No. 100203
Funding: Artemis Joint Undertaking
Duration: 2010–2012
Investigator: Lubos Brim

Software Components in Embedded Systems: Development and Verification

Description: The project aims at development of new original methods an techniques for developing and verification of applications from reusable components, with emphasis on embedded applications, optimizing these techniques to make them sufficiently efficient, and providing software support to use them. The project will provide as its outcome
  • 1. a methodology for developing embedded applications from reusable components,
  • 2. methods and tools for specification and formal description of components systems,
  • 3. methods and tools for formal verification of corectness of applications composed of these components, and
  • 4. a prototype implementation of the proposed component system for development of embedded systems.
Identification: GAP202/11/0312
Funding: Czech Science Foundation
Duration: 3/2011-12/2013
Publications: Publications/Results
Investigator: Ivana Cerna

Rizeni a overovani vlastnosti komplexnich hybridnich systemu

Description: The aim of the project is to support and extend cooperation between the Laboratory of Parallel and Distributed Systems (ParaDiSe) at Faculty of Informatics, Masaryk University in Brno (FI MU) and the research team at Hybrid and Networked Systems Lab (HyNeSs Lab) at Boston University, USA (BU) in order to conduct research in control and verification of hybrid systems. Both control and verification of continuous and hybrid systems involves application of advanced techniques for control strategy synthesis, analysis, verification and validation. The teams bring specific and complementary knowledge to this project. The research team at BU is specialized in control of hybrid and continuous systems, namely biological and robotic systems in particular. The lab has extensive experimental environment for implementation and testing of suggested concepts for robot motion planning. The team at Masaryk University is in the long term aimed at formal verification problematics and especially at verification of linear temporal properties of concurrent systems. The main target of the proposed project can be divided into two areas. The first one is formulation of new approaches for abstraction and modelling of complex systems in order to obtain quite accurate model of the systems, which is to be automatically verified and controlled under complex requirements. The second research area is design and development of methods for synthesis of control strategies based on principles of formal verification. Part of the research is also aimed at usage of the new technologies for improving efficiency of syntesis and verification process.
Identification: LH11065
Funding: Ministry of Education, Youth and Sports of the CR / Kontakt II
Duration: 3/2011-12/2014
Publications: Publications/Results
Investigator: Ivana Cerna

Previous projects