Back to Results
First PageMeta Content
Computing / Systems engineering / Software testing / ANSI/ISO C Specification Language / C programming language / Software quality / Frama-C / Formal verification / DO-178B / Software development / Formal methods / Software


Use of formal methods in embedded software development: stakes, constraints and proposal Anthony Fernandes Pires∗† , Thomas Polacsek† , Virginie Wiels† and St´ephane Duprat∗ ∗ Atos Int´egration SAS, 6 impa
Add to Reading List

Document Date: 2014-01-10 03:51:09


Open Document

File Size: 438,52 KB

Share Result on Facebook

Company

TOOL SOLUTION AG / Airborne Systems / Airbus / Atos / John Wiley & Sons / ObjectOriented Software / /

Country

France / /

IndustryTerm

software life cycle processes / software coding process / avionics software products / software structure / software integration process / software development processes / embedded software development / configuration management / hardware/software / target hardware / update site / actual software product / software behaviour / embedded software / software assurance / software requirements / software engineering techniques / software architecture / software requirements process / software development / avionics software / /

Person

Virginie Wiels / Jack Beringuier / Jeff Gray / Bernhard Sch¨atz / David Delmas / Anthony Fernandes Pires / Alice Guy / Tristan Faure / Xavier Leroy / Jean Souyris / Jean-Louis Boulanger / Emmanuel Ledinot / Dillon Pariente / Peter Clarke / Benjamin Monate / Thomas Polacsek / Antonio Vallecillo / /

Position

editor / guard / guard to control the firing / /

Product

A-7 / Frama / A-6 / A-4 / A-5 / /

ProgrammingLanguage

C / /

PublishedMedium

Lecture Notes in Computer Science / /

RadioStation

FM 2009 / Table FM / /

Technology

source code from the software / standards Algorithm / /

URL

http /

SocialTag