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).
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 Unified Meta-Model for Trustworthy Systems Engineering".
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 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.
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.
Multicore chips are becoming more and more the norm these days. This is an evolution driven by the semiconductor advances that allow to put more and more logic on the same die. In addition, as all is on a single die, communication between cores can be speedy and low power as no off-chip I/O is necessary. Nevertheless programming these chips, especially for embedded real-time applications is a challenge.
Following the availability of OpenComRTOS on the 48-core Intel SCC chip and the 8-core Texas Instruments C6678, Altreonic can draw some lessons. OpenComRTOS was designed to support such targets transparently and in a distributed real-time context by separating the hardware topology definition from the application topology definition. This provides for portability and scalability. Nevertheless, these modern multicore chips are complex and it still matters where code and data is placed. For more information, read the attached white paper "Hard real-time on multicores: shared resources are the challenge".
Altreonic announces the availability of GoedelWorks* an internet based portal for safety and systems engineering. It is made available under a SaaS (Software As A Service) business model.
Based on a formalised approach, GoedelWorks is a new technology platform for collaborative systems and safety engineering project delivery. Developed for use by global and distributed teams, GoedelWorks is designed to facilitate how people work together to build systems and products, making project delivery more collaborative, productive, and transparent. You can think of GoedelWorks as an extensible framework that dynamically integrates and synchronizes people, processes, and resources associated with systems engineering development projects. From very small chips to large networked systems, GoedelWorks is the platform that facilitates teamwork and project management.
Altreonic is now member of RTCA, Radio Technical Commission for Aeronautics
RTCA, Inc. is a private, not-for-profit corporation that develops consensus-based recommendations regarding communications, navigation, surveillance, and air traffic management (CNS/ATM) system issues. RTCA functions as a Federal Advisory Committee.
Membership of RTCA will help us supporting the avionics industry better.
A single approach for many-multi-parallel-distributed systems
After 3 successful sessions at IMEC in Leuven, we are planning to repeat the workshop elsewhere. We are looking for hosting partners across Europe. Find a place, agree on a date, register 20 registrants and we come to your place. Contact us at info. request (at=@) altreonic. com
This workshop aims at debunking the myth that writing concurrent programs for many-core, multi-core, parallel and distributed (embedded) systems is difficult. On the contrary, a single approach with a solid formal basis can handle them all, including reusing existing sequential code.