Göm menyn

Title:
Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop; December 3; Vancouver; Canada
DOI:
10.3384/ecp13090
Download:
Full text (pdf)
Editor(s):
David Broman: UC Berkeley, USA, and Linköping University, Sweden Gabor Karsai: Vanderbilt University, USA
Year:
2013
No. of pages:
32
Language:
English
ISBN:
978-91-7519-451-6
Series:
Linköping Electronic Conference Proceedings
Issue:
090
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Published:
2013-11-13
Publisher:
Linköping University Electronic Press; Linköpings universitet



Message from the Program Co-chairs

We would like to welcome you to the 2013 Analytic Virtual Integration Cyber-Physical Systems (AVICPS) workshop. The workshop is focusing on analytic techniques that enable the early discovery of defects in CPS; before the system is integrated or its parts are built. The principal objective is to present and discuss novel ideas and results that help to discover and resolve problems early during the design and implementation phases. AVICPS 2013 aims at bringing together researchers; engineers; and application developers from both industry and academia to present their latest advances in this field. Our program is organized according to three themes: mathematical fundamentals; model integration; and model analysis. The program also includes time reserved for lively discussions; we hope that all attendees will benefit from these interactions.

We received 13 submissions; from which 6 were accepted; 4 as position papers and 2 as full research papers. Our 13 internationally known PC members came from academia and industry and they have worked very hard to review the papers; most papers have received three reviews.

We would like to thank the program committee members for their excellent work and for their suggestions in the selection of papers. We would like to thank all those who submitted papers for their efforts and for the quality of their submissions.

Thank you for your active participation in AVICPS 2013. We hope you will find this event to be productive and enjoyable; and we look forward to seeing you next year at the next AVICPS.

David Broman; UC Berkeley; USA; and Linköping University; Sweden

Gabor Karsai; Vanderbilt University; USA

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

Paper Session I. Mathematical Fundamentals

Session chair: David Broman

090:001
Walid Taha, Robert Cartwright
Some Challenges for Model-Based Simulation
[Abstract and Fulltext]

090:002
Christoph Höger
Operational Semantics for a Modular Equation Language
[Abstract and Fulltext]

Paper Session II. Model Integration

Session chair: Gabor Karsai

090:003
August Schwerdfeger, Hazel Shackleton, Steve Vestal
Verifying Consistency Between Models
[Abstract and Fulltext]

090:004
Linh Thi Xuan Phan
Towards a Safe Compositional Real-Time Scheduling Theory for Cyber-Physical Systems
[Abstract and Fulltext]

Paper Session III. Model Analysis

Session chair: David Broman

090:005
Mabel Mary Joy, Wolfgang Mueller, Franz Rammig
Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model
[Abstract and Fulltext]

090:006
Guillaume Brau, Jérôme Hugues, Nicolas Navet
Refinement of AADL models using early-stage analysis methods
[Abstract and Fulltext]

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

Author:
David Broman, Gabor Karsai
Title:
Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop; December 3; Vancouver; Canada
DOI:
http://dx.doi.org/10.3384/ecp13090
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21