scholarly journals Hardware runtime verification of embedded software in SoPC

2016 ◽  
Author(s):  
Dimitry Solet ◽  
Jean-Luc Bechennec ◽  
Mikaol Briday ◽  
Sebastien Faucou ◽  
Sebastien Pillement
Keyword(s):  
Embedded Software ◽  
Runtime Verification

HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems

2018 ◽  
Author(s):  
Dimitry Solet ◽  
Sebastien Pillement ◽  
Jean-Luc Bechennec ◽  
Mikael Briday ◽  
Sebastien Faucou
Keyword(s):  
Embedded Software ◽  
Runtime Verification

scholarly journals Runtime Verification of Component-Based Embedded Software

2011 ◽  
pp. 471-477 ◽  
Author(s):  
Hasan Sözer ◽  
Christian Hofmann ◽  
Bedir Tekinerdoğan ◽  
Mehmet Akşit
Keyword(s):  
Embedded Software ◽  
Runtime Verification

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
Sign in / Sign up

Export Citation Format

Share Document