MonkeyProof Solutions supports Septentrio in Developing High-Integrity Aircraft Approach Systems in Accordance with DO-178B Using Model Based Design »

MonkeyProof Solutions has been working with Septentrio Satelite Navigation  NV, headquartered in Leuven (Belgium), ons several aspects of the adopted Model Based Design approach in for the development of a High-Integrity Aircraft Approach Systems in Accordance with DO-178B.

An article on this project has been published in the May 2012 MathWorks Newsletter.

Some quotes from the article highlighting aspects of MonkeyProof Solutions’ involvement:

“As we develop the models, we use the Model Advisor in Simulink Verification and Validation to check our model for compliance with modeling standards, including guidelines from the MathWorks Automotive Advisory Board (MAAB) and guidelines that we [Septentrio] developed in conjunction with MonkeyProof Solutions to facilitate efficient code generation.

“With Embedded Coder, we [Septentrio] generate source C code from our models for the Deos real-time operating system (Lev A RTOS) from DDC-I. Engineers from MonkeyProof Solutions have suggested modeling changes that optimize the performance of the generated code.

Read the full article here …

Embedded Software at DAF Trucks »

At the MathWorks Automotive Conference 2010, DAF Trucks and MonkeyProof Solutions presented the challenge DAF Trucks was facing with the increasing importance and complexity of software in vehicle development, the chosen strategy (migration to Model-Based Design), the transition and migration needs, a tool suite, and some early findings on the chosen approach and environment.

Read the whitepaper here.