| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 967.56 KB | Adobe PDF |
Advisor(s)
Abstract(s)
The development of high-integrity real-time systems, including
their certification, is a demanding endeavour in terms of time, skills
and effort involved. This is particularly true in application domains such
as the avionics, where composable design is to be had to allow subdividing
monolithic systems into components of smaller complexity, to
be outsourced to developers subcontracted down the supply chain. Moreover,
the increasing demand for computational power and the consequent
interest in multicore HW architectures complicates system deployment.
For these reasons, appropriate methodologies and tools need to be devised
to help the industrial stakeholders master the overall system design
complexity, while keeping manufacturing costs affordable.
In this paper we present some elements of the CONCERTO platform,
a toolset to support the end-to-end system development process from
system modelling to analysis and validation, prior to code generation
and deployment. The approach taken by CONCERTO is demonstrated
for an illustrative avionics setup, however it is general enough to be
applied to a number of industrial domains including the space, telecom
and automotive. We finally reason about the benefits to an industrial
user by comparing to similar initiatives in the research landscape.
Description
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 22 to 26, Jun, 2015, Madrid, Spain.
Keywords
Model-based engineering CONCERTO IMA ARINC 653 Partitioned multicore