Back to Results
First PageMeta Content
Simulation software / Software architecture / Systems architecture / Cross-platform software / Simulink / Architecture Analysis & Design Language / SPARK / Formal verification / Design by contract / Software engineering / Computing / Design


System to Software Integrity: A Case Study1 Matteo Bordin, Cyrille Comar, Ed Falis, Franco Gasperoni, Yannick Moy, Elie Richa, Jérôme Hugues {bordin, comar, falis, gasperoni, moy, richa}@adacore.com, jerome.hugue
Add to Reading List

Document Date: 2014-01-23 04:27:02

Open Document

File Size: 797,57 KB

Share Result on Facebook

Company

Let us / Airbus / CASE / /

/

Facility

GtkAda library / /

IndustryTerm

appropriate technology / plane_properties /

Movie

From now on / /

Person

Franco Gasperoni / Ada Ravenscar / Matteo Bordin / Cyrille Comar / Jérôme Hugues / Elie Richa / /

Position

SPARK code Logger / logger / engineer / /

Product

A320 / /

ProgrammingLanguage

Ada / C / Simulink / /

TVStation

WCET / /

Technology

Simulink control algorithm / API / control algorithm / http / simulation / peer review using CodePeer Control algorithm / verification technology / Simulink algorithm / Simulink The computation algorithm / GUI / /

URL

http /

SocialTag