Hardware/software synthesis of formal specifications in codesign of embedded systems

2000 ◽  
Vol 5 (3) ◽  
pp. 399-432 ◽  
Author(s):  
Vincenza Carchiolo ◽  
Michele Malgeri ◽  
Guiseppe Mangioni
Keyword(s):  
Embedded Systems ◽  
Formal Specifications ◽  
Software Synthesis

scholarly journals Industrial Examples of Formal Specifications for Test Case Generation

10.29007/z9ph ◽  
2018 ◽  
Author(s):  
Hendrik Roehm ◽  
Rainer Gmehlich ◽  
Thomas Heinz ◽  
Jens Oehlerking ◽  
Matthias Woehrle
Keyword(s):  
Embedded Systems ◽  
Requirements Engineering ◽  
Automotive Industry ◽  
Test Case Generation ◽  
Test Case ◽  
Formal Specifications ◽  
Discrete Events ◽  
The Past ◽  
Formal Representations

While requirements engineering has received considerable attention inacademia over the past years, formalization of requirements for physicallyinfluenced systems is still a difficult task in practice. In this paper, we giveformal representations of some typical requirement classes arising in theautomotive industry. We divide these patterns into three main classes:those mostly referring to properties of continuous signals, those mostlyreferring to discrete events and those referring to similarity to a referencesignal. We discuss these patterns on concrete examples from automotiveembedded systems, where specifications are used for test case generation.

scholarly journals Hardware-dependent Software synthesis for many-core embedded systems

2009 ◽  
Author(s):  
Samar Abdi ◽  
Gunar Schirner ◽  
Ines Viskic ◽  
Hansu Cho ◽  
Yonghyun Hwang ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Software Synthesis ◽  
Many Core

scholarly journals Using S-TaLiRo on Industrial Size Automotive Models

10.29007/kwp3 ◽  
2018 ◽  
Author(s):  
Bardh Hoxha ◽  
Houssam Abbas ◽  
Georgios Fainekos
Keyword(s):  
Embedded Systems ◽  
Automotive Industry ◽  
Industrial Scale ◽  
High Fidelity ◽  
Formal Specifications ◽  
Engine Model ◽  
Model Based

In Model Based Development (MBD) of embedded systems, it is often desirable to verify or falsify certain formal specifications. In some cases it is also desirable to find the range of specification parameters for which the specification does not hold on the system. We illustrate these methods on a challenge problem from the automotive industry on a high-fidelity, industrial scale engine model.

Software synthesis for hard real-time embedded systems with multiple processors

2007 ◽  
Vol 32 (2) ◽  
pp. 1-10 ◽  
Author(s):  
Eduardo Tavares ◽  
Raimundo Barreto ◽  
Paulo Maciel ◽  
Meuse Oliveira ◽  
Leonardo Amorim ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Real Time ◽  
Software Synthesis ◽  
Multiple Processors ◽  
Hard Real Time
Sign in / Sign up

Export Citation Format

Share Document