EU’s SPEEDS project comes to a successful conclusion
The four-year SPEEDS (SPEculative and Exploratory Design in Systems Engineering) project, funded under the European Union’s 6th Framework Programme, has come to a highly successful conclusion. The SPEEDS project has resulted in the definition of a novel end-to-end design methodology, process and tool environment for model-based safety-critical embedded systems that significantly improves design quality while reducing both design cycle times and costs.“A
SPEEDS achieves this by delivering a multi-layered contract-based design and analysis methodology that formalizes the concept of Assumptions and Promises inherent within contracts. A new ‘controlled speculative design process’ - formalized in the SPEEDS Process Advisor toolset – facilitates trade-off studies through the evaluation of different architectures, enables right-first-time design and minimizes the risk in adopting concurrent design practices.
Building on SysML, the concept of Heterogeneous Rich Components (HRC), in the form of the tool-independent SPEEDS meta-model, underpins the SPEEDS methodology as the basis for model-driven engineering design. The SPEEDS meta-model is expressive enough to cover the complete development cycle from high-level specifications to design models as well as address both functional and non-functional design aspects. The HRC components are characterized by formal contracts allowing the use of various analysis techniques, including the new concept of hosted simulation, for design validation in the earliest design stages. The SPEEDS meta-model has also been constructed to seamlessly extend the capabilities of existing industry-specific SysML-based meta-models such as AUTOSAR and AADL.
Supporting the SPEEDS methodology is the SPEEDS Tool Architecture. The tool-independence of the SPEEDS meta-model enables the easy integration of any commercially available embedded systems design tool as it avoids the need for file exchange. Design tool integration is built on the defacto Eclipse standard using the SPEEDS Bus for which the API has been published.
“The SPEEDS design framework is now a reality,” said Roger Dierks, Manager Exploitation & Dissemination, SPEEDS and Sales Manager of Atego Deutschland. “Its adoption will further, significantly drive improvements in time-to-market and help achieve the speedier deployment of embedded systems designs.”
The SPEEDS methodology is also real-world proven having been successfully implemented in pilot projects by the SPEEDS user partners utilizing SPEEDS-compliant tools from the project’s vendor partners. Over 20 large enterprises are now planning to exploit the methodology and concepts as part of their systems design processes.
“The exploitation of the SPEEDS project results is rapidly gaining momentum through implementation of integrated tool environments,” said Dr. Michael Winokur, Technical Manager of the SPEEDS project and Corporate Director of Engineering and Development at Israel Aerospace Industries (IAI). “This is being achieved through the insertion of the multi-layered contract-based design methodology and its underlying HRC meta-model in the industrial partners' engineering design processes, coupled with the tight support of the tool vendors involved in the project who are keen to commercialize the results by incorporating them in their tool suites.”
For developers wishing to explore the potential benefits of the SPEEDS methodology, a variety of materials have been published and are available for download: http://www.SPEEDS.eu.com. These include the SPEEDS meta-model and implementation guide, HRC Compiler, Contract Specification Language, SPEEDS Lessons and Best Practices guide and a SPEEDS training kit. The SPEEDS consortium is also working towards the publication of a book that will make the SPEEDS methodology and design process available for widespread industrial use, university courses and technical training for both end users and technology providers.
16th September 2020
Xilinx Multi-function Telco accelerator card for 5G O-RAN virtual baseband unit markets