A rigorous approach to the design of resilient cyber-physical systems through co-simulation

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2012, Pages

  Fitzgerald, John ^a   Pierce, Ken ^a   Gamble, Carl ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

co simulation; cyber physical systems; fault tolerance; formal methods; resilience

Indexed keywords

COLLABORATIVE DEVELOPMENT; CONTINUOUS TIME MODELS; COSIMULATION; CYBER PHYSICAL SYSTEMS (CPSS); DESIGN SPACE EXPLORATION; FAULT TOLERANCE MECHANISMS; RESILIENCE; VIENNA DEVELOPMENT METHODS;

DISCRETE EVENT SIMULATION; EMBEDDED SYSTEMS; FAULT TOLERANCE; FORMAL METHODS;

MODELS;

EID: 84880852702     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSNW.2012.6264663     Document Type: Conference Paper

References (20)

1. H. Giese, B. Rumpe, B. Schätz, and J. Sztipanovits, "Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)," Dagstuhl Reports, Vol. 1, no. 11, pp. 1-22, 2012.
2. P. G. Larsen, B. S. Hansen, H. Brunn, N. Plat, H. Toetenel, D. J. Andrews, J. Dawes, G. Parkin, et al, "Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language," December 1996.
3. P. G. Larsen, N. Battle, M. Ferreira, J. Fitzgerald, K. Lausdahl, and M. Verhoef, "The Overture Initiative - Integrating Tools for VDM," ACM Software Engineering Notes, Vol. 35, January 2010.
4. J. Fitzgerald, P. G. Larsen, P. Mukherjee, N. Plat, and M. Verhoef, Validated Designs for Object-oriented Systems. Springer, 2005.
5. M. Verhoef, P. G. Larsen, and J. Hooman, "Modeling and Validating Distributed Embedded Real-Time Systems with VDM++," in FM 2006: Formal Methods (J. Misra, T. Nipkow, and E. Sekerinski, eds.), pp. 147-162, Lecture Notes in Computer Science 4085, 2006. (Pubitemid 44502904)
6. J. F. Broenink, "Modelling, Simulation and Analysis with 20-Sim," Journal A Special Issue CACSD, Vol. 38, no. 3, pp. 22-25, 1997.
7. V. Duindam, A. Macchelli, S. Stramigioli, and H. Bruyninckx, Modeling and Control of Complex Physical Systems. Springer, 2009.
8. M. Verhoef, Modeling and Validating Distributed Embedded Real-Time Control Systems. PhD thesis, Radboud University Nijmegen, 2009. ISBN 978-90-9023705-3.
9. J. Fitzgerald, P. G. Larsen, K. Pierce, and M. Verhoef, "A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems," To appear in Mathematical Structures in Computer Science, 2012. See also Tech. Report 1264, School of Computing Science, Newcastle University, UK, July 2011.
10. Y. D. Witte, K. Rombaut, M. Verhoef, B. Bos, and P. V. Eijck, "D4.2 - Industrial Case Studies Year 2," tech. rep., The DESTECS Project (INFSO-ICT-248134), January 2012.
11. M. Heemels and G. Muller, Boderc: Model-based design of high-tech systems. Eindhoven, The Netherlands: Embedded Systems Institute, 2006.
12. P. Fritzson and V. Engelson, "Modelica - a unified object-oriented language for system modelling and simulation," in ECCOP '98: Proceedings of the 12th European Conference on Object-Oriented Programming, pp. 67-90, Springer-Verlag, 1998. (Pubitemid 128110387)
13. G. Nicolescu, H. Boucheneb, L. Gheorghe, and F. Bouchhima, "Methodology for efficient design of continuous/discrete-events co-simulation tools," in High Level Simulation Languages and Applications (J. Anderson and R. Huntsinger, eds.), pp. 172-179, SCS, 2007.
14. IEEE, "IEEE Standard for Modeling and Simulation (M & S) High Level Architecture (HLA) - Framework and Rules," IEEE Std. 1516-2000, pp. 1-22, 2000.
15. J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming heterogeneity - the Ptolemy approach," Proceedings of the IEEE, Vol. 91, pp. 127-144, January 2003.
16. C. G. Cassandras, Analysis and design of hybrid systems: a proceedings volume from the 2nd IFAC conference. Elsevier, June 2006.
17. A. Avižienis, J.-C. Laprie, B. Randell, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," IEEE Transactions on Dependable and Secure Computing, Vol. 1, pp. 11-33, 2004. (Pubitemid 40134576)
18. R. E. Gamma, R. Helm and J. Vlissides, Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series, Addison-Wesley Publishing Company, 1995.
19. K. Pierce, J. Fitzgerald, and C. Gamble, "Modelling faults and fault tolerance mechanisms in a paper pinch comodel," in Proceedings of the ERCIM/EWICS/Cyber-physical Systems Workshop at SafeComp 2011, Naples, Italy (to appear), ERCIM, September 2011.
20. J. S. Fitzgerald, P. G. Larsen, S. Tjell, and M. Verhoef, "Validation Support for Real-Time Embedded Systems in VDM++," in Proc. HASE 2007: 10th IEEE High Assurance Systems Engineering Symposium (B. Cukic and J. Dong, eds.), pp. 331-340, IEEE, November 2007.