Trustworthy forever


New publication in the Gödel Series on real-time and many/multicore

Altreonic is pleased to release a new publication in its Gödel Series, entitled: "QoS  and Real Time Requirements for Embedded Many- and Multicore Systems". While the first part is mainly a short summary on real-time scheduling, mostly Rate Monotonic Scheduling and Priority Inheritance support, it already establishes the jump to distributed real-time scheduling as supported in OpenComRTOS.

Share |

The second part takes a closer look at modern advanced many/multi-core architectures, interrupt latency and inter-core communication measurements and makes the argument that the sharing of the on-chip resources, including the caches, makes it very hard to predict the temporal properties of an application. Rather than rejecting such advanced architectures, the argument is made to adapt the programming model to be able to handle the stochastic spread rather than trying to control it, even if a good design will try to minimise the spread.

Lastly, the bridge is made from Real-Time scheduling towards Quality of Service scheduling of on-chip resources. The connection is made with the specific case of Safety Integrity Levels. Finally, a proposal is made for a new concept that allows to classify components in terms of the assurance they provide for their functional requirements when resources are failing. Under the name ARRL (Assured Reliability and Resilience Level) it provides guidelines for selecting adequate architectures that allow to provide the required services in the presence of several classes of faults. This topic is the subject of on-going and future publications and provides the basis for extensions to the runtime support in OpenComRTOS.

The booklet if freely downloaded from Altreonic's website.

Meet Altreonic at TECHINNOV 2013 in Paris 14 February

Altreonic offers advanced embedded systems technology under a risk-free Open Technology License. The licensee receives all supporting design documents, formal models, source code, test suites, etc. and the right to rebrand the software whereby all certification and business risks are seriously reduced. Free yourself from legacy COTS and open source limitations. Two technologies are offered: the formally developed, network-centric OpenComRTOS Designer and the internet based GoedelWorks portal for supporting certifiable engineering projects.

Altreonic offre des technologies avancées pour systèmes embarqués sous une Licence de Technologie Ouverte sans risque. Le licencié reçoit tous les documents d'appui, les modèles formels, code source, des suites de tests, et le droit de renommer le logiciel. Tous les risques de certification et commerciaux sont sérieusement réduits. Libérez-vous des limites du COTS et source libre. Deux technologies sont proposées: OpenComRTOS Designer, un OS tmps réel distribué, formellement développé et le portail GoedelWorks pour soutenir des projets d'ingénierie certifiables.

Register for a B2B meeting here or contact us directly.

Best wishes for the year 2013

Click on the image and let it run. Some patience might be needed for initial loading.

Altreonic HIRES2013 Workshop

Altreonic presents a working paper entitled: 

"A Formalised Real-time Concurrent Programming Model for Scalable Parallel Programming",authors Eric Verhulst, Bernhard H.C. Sputh at the Workshop on High-performance and Real-time Embedded Systems(HiRES 2013) January 23, 2013, Berlin, Germany. 

Held in conjunction with the 8th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2013)

Cross-domain systems and safety engineering: is it feasible?

Altreonic will be speaking at a seminar on Functional Safety in the Vehicle Industry organised by Flanders Drive presenting the results of the ASIL (“Automotive Safety Integrity Levels”) project.

The ASIL project created a development methodology for safety-critical systems, applicable to any type of vehicle or machine. Specialists involved will share the in-depth expertise acquired and illustrate this with various actual applications. The ASIL workflow was successfully imported in Altreonic's GoedelWorks portal where users can adapt it to integrate it with their own organisational processes.

The seminar focuses on the main challenges and opportunities associated with the systematic application of functional safety standards in system development and project management in the automotive industry. External experts as well as ASIL members will present relevant topics.

Eric Verhulst, CTO of Altreonic will speak of:

Cross-domain systems and safety engineering: is it feasible?

During the presentation, a new approach for developing composable systems with different SIL levels will be presented. It introduces the notion of ARRL (Assured Reliability and Resilience Level). See attached presentation.

Correctness-by-construction

Joseph Kiniry, Professor at the Technical University of Denmark, Copenhagen replied in a lively discussion topic on "GNATprove, integrating theorem provers with software development" in the LinkedIn discussion group "Formal Methods: Specification, Verification, TCG" as follows:

"We find Altreonic's work tremendous. Their pragmatic use of formal methods toward high-end business needs is really a case study in how to do things right and communicate ones results to industry and the academic community. We, too, believe that there is too much emphasis on post-design validation (and, rarely, verification) and believe that a pragmatic correctness-by-construction approach that appreciates and leverages existing quality development practices is the way forward." (quoted with permission).

Altreonic presents at SAFECOMP 2012 in Magdeburg

SAFECOMP, the 31th International Conference on Computer Safety, Reliability and Security, is an annual event covering new trends, technologies and experiences in the areas of safety, security and reliability of critical computer applications. This year, the key theme will be "Virtually safe -- making system safety traceable". 

Altreonic presents its paper "An Uni fied Meta-Model for Trustworthy Systems Engineering".

Altreonic presents at MARC'ONERA'2012 Symposium in Toulouse

Altreonic has been presenting "Transparent Programming of Many/Multi Cores with OpenComRTOS. Comparing Intel 48-core SCC and TI 8-core TMS320C6678" at the Intel MARC symposium in Toulouse on Friday 20st July 2012. The symposium is focused on "bare metal programming" on the Intel experimental 48core SCC chip. In attachment the paper and presentation. For the full program, visit the ONERA website.

Altreonic joins Artemis CRAFTERS project

Altreonic is partner in a new Artemis EU project, whose Kick-Off meeting was held in Kopenhagen on 13 to 15 June 2012.  Called CRAFTERS (ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems) it brings together 26 partners covering from EDA vendors, semiconductor designers and manufacturers, software tool vendors, industrial users as well as academia.

Altreonic's product range and roadmap is fully in line addressing the CRAFTERS challenges and will focus on extending OpenComRTOS Designer with dynamic resource scheduling capabilities. Given the abundancy of hardware resources on modern multicore chips, research is focusing on dynamic resource scheduling, whereby a resource is not just CPU time but can also be any of the hardware capabilities. This is using an extended version of the distributed priority inheritance algorithm in OpenComRTOS. The work includes interfacing with other third party tools and defining requirements for the hardware.

New white paper on trustworthy systems engineering

Altreonic is releasing a new white paper on trustworthy systems engineering highlighting how a unified approach can help in mastering the complexity. Trustworthy systems require a trustworthy process developing them. The complexity comes from the fact that many interdependent domains and views are involved, including the human factor. But once understood and all dependencies identified, a framework emerges that complements the engineer's experience providing guidance. The rest is mainly applying discipline and working in team. The framework is supported by the GoedelWorks environment.  

Search

Syndicate

Syndicate content