Proceedings

Linköping Electronic Conference Proceedings 90 (2013)

Ladda ner proceeding

Redaktör(er): Broman; David ; Karsai; Gabor

Publicerad: 2013-11-13

ISBN: 978-91-7519-451-6

ISSN: 1650-3686 (tryckt), 1650-3740 (online)

Antal sidor: 32

1 Some Challenges for Model-Based Simulation
Taha; Walid ; Cartwright; Robert

2 Operational Semantics for a Modular Equation Language
Höger; Christoph

3 Verifying Consistency Between Models
Schwerdfeger; August ; Shackleton; Hazel ; Vestal; Steve

4 Towards a Safe Compositional Real-Time Scheduling Theory for Cyber-Physical Systems
Xuan Phan; Linh Thi

5 Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model
Joy; Mabel Mary ; Mueller; Wolfgang ; Rammig; Franz

6 Refinement of AADL models using early-stage analysis methods
Brau; Guillaume ; Hugues; Jérôme ; Navet; Nicolas