scholarly journals The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

2018 ◽  
pp. 5-23 ◽  
Author(s):  
Roberto Bagnara ◽  
Abramo Bagnara ◽  
Patricia M. Hill
Keyword(s):  
Embedded Software

Application of Error Estimating Model to Control Quality in Embedded Software Development

2010 ◽  
Vol 130 (3) ◽  
pp. 496-502
Author(s):  
Yoshiyuki Anan ◽  
Toyoshiro Nakashima ◽  
Kazunori Iwata ◽  
Hiroshi Yonemitsu ◽  
Tetsu Yoshioka ◽  
...  
Keyword(s):  
Software Development ◽  
Embedded Software ◽  
Control Quality

Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization

2014 ◽  
Author(s):  
Sudipta Chattopadhyay ◽  
Abhik Roychoudhury ◽  
Jakob Rosén ◽  
Petru Eles ◽  
Zebo Peng
Keyword(s):  
Embedded Software

Design Patterns Reuse for Real Time Embedded Software Development

2009 ◽  
Author(s):  
Gabriel de Souza Pereira Moreira ◽  
Denis Ávila Montini ◽  
Daniela América da Silva ◽  
Felipe Rafael Motta Cardoso ◽  
Luiz Alberto Vieira Dias ◽  
...  
Keyword(s):  
Software Development ◽  
Real Time ◽  
Design Patterns ◽  
Embedded Software

scholarly journals Pluggable abstract domains for analyzing embedded software

2006 ◽  
Vol 41 (7) ◽  
pp. 44-53 ◽  
Author(s):  
Nathan Cooprider ◽  
John Regehr
Keyword(s):  
Embedded Software ◽  
Abstract Domains
Sign in / Sign up

Export Citation Format

Share Document