Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop December 3 Vancouver Canada
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Linköping University Electronic Press

9789175194516

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model

Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop December 3 Vancouver Canada ◽

10.3384/ecp13090005 ◽

2013 ◽

Author(s):

Mabel Mary Joy ◽

Wolfgang Mueller ◽

Franz Rammig

Keyword(s):

Early Phase ◽

Memory Management ◽

Virtual Memory ◽

Leak Detection ◽

Embedded Software ◽

Management Model ◽

Memory Leak ◽

Virtual Memory Management ◽

Download Full-text

Verifying Consistency Between Models

Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop December 3 Vancouver Canada ◽

10.3384/ecp13090003 ◽

2013 ◽

Author(s):

August Schwerdfeger ◽

Hazel Shackleton ◽

Steve Vestal

Download Full-text

Refinement of AADL models using early-stage analysis methods

Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop December 3 Vancouver Canada ◽

10.3384/ecp13090006 ◽

2013 ◽

Author(s):

Guillaume Brau ◽

Jérôme Hugues ◽

Nicolas Navet

Keyword(s):

Early Stage ◽

Analysis Methods ◽

Download Full-text

Operational Semantics for a Modular Equation Language

Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop December 3 Vancouver Canada ◽

10.3384/ecp13090002 ◽

2013 ◽

Author(s):

Christoph Höger

Keyword(s):

Operational Semantics ◽

Modular Equation

Download Full-text

Towards a Safe Compositional Real-Time Scheduling Theory for Cyber-Physical Systems

Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop December 3 Vancouver Canada ◽

10.3384/ecp13090004 ◽

2013 ◽

Author(s):

Linh Thi Xuan Phan

Keyword(s):

Real Time ◽

Cyber Physical Systems ◽

Scheduling Theory ◽

Physical Systems ◽

Real Time Scheduling ◽

Time Scheduling

Download Full-text

Some Challenges for Model-Based Simulation

Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop December 3 Vancouver Canada ◽

10.3384/ecp13090001 ◽

2013 ◽

Author(s):

Walid Taha ◽

Robert Cartwright

Keyword(s):

Download Full-text