Back to Results
First PageMeta Content
Procedural programming languages / Embedded systems / Frama-C / Compiler / Worst-case execution time / C / Software / Computing / Programming language implementation


INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo
Add to Reading List

Document Date: 2013-05-14 11:42:00

Open Document

File Size: 284,18 KB

Share Result on Facebook

City

Berlin / /

Company

Gliwa GmbH / INFORMATION AND COMMUNICATION TECHNOLOGIES / The ArtistDesign Special Interest Group / Rapita Systems / CerCo / The Real-Time Systems / /

Facility

University of York / University of Bologna / University of Cambridge / University of Edinburgh / /

IndustryTerm

safety-critical software / potential applications / software consultancy / low-power embedded processors / research / low-energy cores / /

Organization

Embedded Intelligence / Advanced Research & Technology / University of Bologna / University of York / University of Cambridge / University of Edinburgh / /

Person

Heiko Falk / /

/

Position

machine-checked mathematical model of the ARM microprocessor / ARTIST / machine-checked mathematical model of the ARM / /

ProgrammingLanguage

C / K / /

TVStation

WCET / /

Technology

simulation / low-power embedded processors / /

SocialTag