• Home
    • Nieuws
    • Historie
      • Programma 2022
      • Programma 2021
      • Programma 2020
      • Programma 2019
        • Foto impressie
      • Programma 2018
        • D&E Event NL
          • Partners NL
        • D&E Event BE
          • Conference 2018
          • Exhibitors 2018
          • Exhibition Center
          • Partners BE
      • D&E NL 2017
        • Programma NL 2017
        • Exposanten 2017
      • D&E BE 2017
        • Conference BE 2017
        • Exhibitors 2017
      • D&E 2016
        • Presentaties en programma 2016
        • Exposanten 2016
      • D&E 2015
        • Presentaties en programma 2015
      • D&E 2014
        • Exposanten 2014
        • Presentaties en programma 2014
      • D&E 2013
        • Exposanten 2013
        • Presentaties en programma 2013
        • D&E Event – 9 oktober 2013
  • Programma
  • Plattegrond
  • Demo’s op de beursvloer
  • Exposanten
    • Deelnemen als exposant
      • Deelnameformulier D&E event 2023
    • Mediapartners
  • App
  • Locatie
  • Contact
  • Account
    • Login
  • Login
  • Zoeken

D&E Event

Design Automation & Embedded Systems

Altreonic announces Qualification Package for OpenComRTOS Designer v.1.6

24 oktober 2014 door Altreonic NV

NaamloosOpenComRTOS Designer is Altreonic’s formally developed network-centric RTOS with associated modeling and debugging tools. It is unique in the sense that it supports heterogeneous systems and hence it is much more a generic programming and modeling environment than a simple RTOS. While it supports high-end multicore processors, it also supports distributed systems, DSPs and small microcontrollers thanks to its very small code size and build-in support for transparent distributed real-time scheduling.

The OpenComRTOS kernel was from the beginning developed with safety and reliability in mind. While the packet switching architecture allows transparent processing on multiple processing nodes, it also reduces code size, lowers the latency and reduces the copying of parameters. The datastructures are statically generated to avoid the use of dynamic memory allocation, which further reduces the memory requirements and enhances the safety of the design. Tasks interact through so-called Hubs, similar to Guarded Actions, while offering the familiar functionality of Events, counting Semaphores, Resources, BlackBoards and other common RTOS services. Formal methods were used to support the architectural development and a verification of the implementation. One of the unexpected results was a code size reduction of up to ten times versus a previously handcoded version that e.g. was used on the recent ESA Rosetta mission. The formal development is described in a book of Springer (Formal Development of a Network-Centric RTOS, 2011).

Altreonic is now releasing the OpenComRTOS v.1.6. Qualification Package. It was developed as a domain independent Project inside Altreonic’s GoedelWorks environment whereby all project data is stored in a central project repository. The modeling approach of GoedelWorks provides full traceability from high level Requirements to the last line of source code. GoedelWorks allows the real-time generation of precedence and dependency trees in a graphical or textual format of any project entity. This makes it easy to verify the completeness for example in terms of fulfillment of Specifications and test coverage.

altreonic2In total about 370 tests were developed supporting the verification and validation. Code coverage (functions, lines and branches) is 100% and supported by an automatic test suite. The current Qualification Package is geared towards the PowerPC e-600 processor family. With the exception of the Hardware Abstraction Layer most of the evidence can be reused for other target processors.

Overall the Qualification Package Project contains 1280 Entities, 2840 structural or dependency links, 18 high level Requirements, 307 derived Specifications and 512 Work Products (such as source code files, Test Cases and evidence Artefacts). This provides an extensive and detailed evidence for qualification of the RTOS kernel independently of the safety domain. Thanks to the use of formal methods used during the previous development, the kernel only has 6550 lines of source code with a resulting code size of 15724 Byte on the PowerPC. Yet, it is already in use replacing much larger POSIX style RTOS.

The Qualification Package is generic, i.e. not specific for a particular safety domain. The linked qualification entities make it easy to execute, for example, an impact analysis when the Specifications are updated or when domain- or organization-specific Requirements change. The graph below shows the dependency tree for the Event service from its Specification to some of the Tests.

The Qualification Package is made available as an option to the Open Technology License under which OpenComRTOS Designer is commercialised. While the latter already contains all engineering data such as formal models, design documents and source code, the Qualification Package adds an extra layer of evidence to provide 100% assurance whereby the additional tests can be used as regression tests.

altreonicMore information can be found at: www.altreonic.com
Contact data:

Eric Verhulst, eric.verhulst ( @= at) altreonic.com, Tel.: +32 16 202059 or +32 477 608 339

Categorie: exposant, Nieuws

Gerelateerd:

  • Renesas Electronics’ R-Car Automotive Platform
    Renesas Electronics’ R-Car...
  • FLEX-RIGID PCB DESIGN MET ALTIUM DESIGNER
    FLEX-RIGID PCB DESIGN MET ALTIUM...
  • Videobeelden van demonstratie...
  • snel-een-betrouwbare-ip68-verbindingVoor outdoor LED armaturen:...

Altreonic NV

“Solutions for Trustworthy Systems Engineering”
Altreonic NV is an innovative SME focusing on the embedded market with a unified methodology for developing trustworthy solutions. Based on a long experience since the late 1980’s, custom engineering services are enabled by in-house developed tools to facilitate an integrated approach in particular for scalable and safety critical embedded software and hardware. The in-house development technology is also made available through a unique Open Technology Licensing model.

The industrial experience is enhanced by a continuous R&D effort, in-house as well as partner in regional as well as European research projects. Recent ones are:

  • OpenComRTOS: development of a novel real-time operating system using formal methods.
  • ASIL: a Flanders Drive project to develop a common automotive safety engineering workflow.
  • EVOLVE: an EU ITEA project on Evolutionary Verification and Validation of software.
  • CRAFTERS: an EU Artemis on developing novel solutions for many/multicore systems.
  • OPENCOSS: an FP7 IP project focusing on reducing the cost of certification.

Altreonic is a regular speaker at international conferences and workshops.

Email: eric.verhulst@altreonic.com

Website: http://www.altreonic.com

Privacy statement
Disclaimer
Cookies

Copyright © 2023 · Onderdeel van FHI ·