A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement

Becker, Markus; Zabel, Henning; Mueller, Wolfgang

doi:10.1007/978-3-642-15234-4_15

Cited by 2 publications

(3 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As presented in Chapter III., we introduced the intermediate binary software level as a combination of user mode QEMU and (RT)OS abstraction. Our first experiments in [2] showed that this level is just 1,6x slower than native software level. Nevertheless, more recent experiments gave a factor of up to 5x due to the individual application and differences in the instruction set architectures.…”

Section: Resultsmentioning

confidence: 98%

See 1 more Smart Citation

Virtual prototyping of Cyber-Physical Systems

Mueller

Becker

Elfeky

et al. 2012

17th Asia and South Pacific Design Automation Conference

Self Cite

View full text Add to dashboard Cite

The modeling and analysis of Cyber-Physical Systems (CPS) is one of the key challenges in complex system design as heterogeneous components are combined and their close interaction with the physical environment has to be considered. This article presents a methodology and an open toolset for the virtual prototyping of CPS. The focus of the methodology is the virtual prototyping of the embedded software combined with the prototyping of the physical environment in order to capture the complete closed control loop of the software over the hardware via sensors/actors with the physical objects. The methodology is based on the application of integrated open source tools and standard languages, i.e., C/C++, SystemC, and the Open Dynamics Engine, which are combined to a powerful simulation framework. Key activities of the methodology are outlined by the example of an electric two-wheel vehicle.

show abstract

Section: Resultsmentioning

confidence: 98%

“…At this level [2], the software is compiled with the compiler of the target platform. This supports already a most realistic analysis as all compiler features and anomalies can be considered like code optimization and compiler bugs.…”

Section: S4-2mentioning

confidence: 99%

Virtual prototyping of Cyber-Physical Systems

Mueller

Becker

Elfeky

et al. 2012

17th Asia and South Pacific Design Automation Conference

Self Cite

View full text Add to dashboard Cite

show abstract

“…This little increase is due to the efficient of QEMU's binary translation. From user mode to full system mode, we measured an increase between 5x -150x, dependent on the number of synchronizations between SystemC and QEMU [3]. With less processor utilization, the difference between those levels can even be higher.…”

Section: A Abstraction Levels For Assertion-based Verificationmentioning

confidence: 98%

Verification of real-time properties for Hardware-dependent Software

Mueller¹,

Oliveira²,

Zabel³

et al. 2010

2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)

Self Cite

View full text Add to dashboard Cite

Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent Software (HdS) like drivers, operating systems, and firmware. For early estimation and verification, the application of SystemC in combination with Instruction Set Simulators and Software Emulators like QEMU is widely accepted. In this article, we present an advanced design flow for HW, (RT)OS and HdS refinement and verification with focus on the transition from abstract RTOS verification to full system RTOS/HdS emulation. In the context of assertionbased verification, we introduce a set of generic real-time properties which can be reused and verified at different abstraction levels and discuss their application. The properties are presented by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS models.

show abstract

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement

Cited by 2 publications

References 11 publications

Virtual prototyping of Cyber-Physical Systems

Virtual prototyping of Cyber-Physical Systems

Verification of real-time properties for Hardware-dependent Software

Contact Info

Product

Resources

About