COMPASS Publications


This page lists publications to date from COMPASS. Where available, links are given to copies of the paper or conference proceedings.

  • Zoe Andrews, Jeremy Bryans, Richard Payne, and Klaus Kristensen. Fault modelling in System-of-Systems contracts. In Richard Payne, Zoe Andrews, and Uwe Schulze, editors, Proceedings of the Workshop on Engineering Dependable Systems of Systems (EDSoS) 2014, May 2014. Available as School of Computing Science, Newcastle University Technical Report CS-TR-1416.
  • Zoe Andrews, Claire Ingram, Richard Payne, Alexander Romanovsky, Simon Perry, and Jon Holt. Traceable engineering of fault tolerant SoSs. In Proceedings INCOSE International Symposium, Henderson, NV, USA, 2014.
  • P.R.G. Antonino, M.V.M. Sampaio, A.C.A. Oliveria, K.E. Kristensen, and J.W. Bryans. Leadership Election: an Industrial SoS Application of Compositional Deadlock Verification. In Julia M. Badger and Kristin Yvonne Rozier, editors, NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, pages 31-45. Springer International Publishing, 2014. Available here.
  • Pedro Antonino, Augusto Sampaio, and Jim Woodcock. A refinement based strategy for local deadlock analysis of networks of CSP processes. In Cliff Jones, Pekka Pihlajasaari, and Jun Sun, editors, FM 2014: Formal Methods, volume 8442 of Lecture Notes in Computer Science, pages 62-77. Springer International Publishing, 2014.
  • Jeremy Bryans, John Fitzgerald, Richard Payne, Alvaro Miyazawa, and Klaus Kristensen. SysML contracts for systems of systems. In IEEE 9th International Systems of Systems Engineering Conference (SoSE 2014), 2014.
  • Jeremy Bryans, John Fizgerald, Richard Payne, and Klaus Kristensen. Maintaining emergence in systems of systems integration: a contractual approach using SysML. In INCOSE International Symposium, Henderson, NV, USA, 2014.
  • Luis Diogo Couto, Simon Foster, and Richard Payne. Towards verification of constituent systems through automated proof. In Richard Payne, Zoe Andrews, and Uwe Schulze, editors, Proceedings of the Workshop on Engineering Dependable Systems of Systems (EDSoS) 2014, May 2014. Available as School of Computing Science, Newcastle University Technical Report CS-TR-1416.
  • John Fitzgerald, Jeremy Bryans, Peter Gorm Larsen, and Hansen Salim. Collaborative systems of systems need collaborative design. In PRO-VE 2014 - 15th Working Conference on Virtual Enterprises, October 2014.
  • John Fitzgerald, Peter Gorm Larsen, and Jim Woodcock. Foundations for Model-based Engineering of Systems of Systems. In M. Aiguier et al., editor, Complex Systems Design and Management, pages 1-19. Springer, January 2014.
  • Simon Foster, Alvaro Miyazawa, Jim Woodcock, and Ana Cavalcanti. An approach for managing semantic heterogeneity in systems of systems engineering. In Proceedings 5th Int. Symposium on Unified Theories of Programming, May 2014.
  • Simon Foster, Frank Zeyda, and Jim Woodcock. Isabelle/UTP: A mechanised theory engineering framework. In Proceedings 5th Int. Symposium on Unified Theories of Programming, May 2014.
  • J. Holt, S. Perry, R. Payne, J. Bryans, S. Hallerstede, and F.O. Hansen. A model-based approach for requirements engineering for systems of systems. IEEE Systems Journal (Preprint), 2014.
  • Claire Ingram, Zoe Andrews, Richard Payne, and Nico Plat. SysML fault modelling in a traffic management system of systems. In IEEE 9th International Systems of Systems Engineering Conference (SoSE 2014), 2014.
  • C. Ingram, R. Payne, S. Perry, J. Holt, F. Hansen, and L. D. Couto. Modelling patterns for systems of systems architectures. In IEEE International Systems Conference (SysCon 2014), 2014.
  • Claire Ingram, Steve Riddle, Sakina Al-Lawati, and Afra Alrbaiyan. SoS modelling fault tolerance at the architectural level. In Richard Payne, Zoe Andrews, and Uwe Schulze, editors, Proceedings of the Workshop on Engineering Dependable Systems of Systems (EDSoS) 2014, May 2014. Available as School of Computing Science, Newcastle University Technical Report CS-TR-1416.
  • Claus Ballegaard Nielsen and Peter Gorm Larsen. Collaborative Formal Modeling of System of Systems. In IEEE Interna- tional Systems Conference (SysCon 2014), pages 151-161. IEEE, March 2014.
  • Claus Ballegaard Nielsen, Kenneth Lausdahl, and Peter Gorm Larsen. Distributed Simulation of Formal Models in System of Systems Engineering. In 4th IEEE track on Collaborative Modelling and Simulation in IEEE WETICE 2014, June 2014.
  • Jan Peleska, Wen ling Huang, Cécile Braunstein, Anne E. Haxthausen, Lin Vu Hong, Felix Hübner, and Uwe Schulze. Complete model-based equivalence class testing for the ETCS ceiling speed monitor. In S. Merz and J. Pang, editors, Proceedings of the ICFEM 2014, number 2829 in LNCS, pages 380-395. Springer, November 2014.
  • Jim Woodcock, Jeremy Bryans, Samuel Canham, and Simon Foster. The COMPASS modelling language: Timed semantics in UTP. In P.H.Welch et al, editor, Communicating Process Architectures 2014. Open Channel Publishing Ltd, 2014.
  • Jim Woodcock. Engineering UToPiA - Formal Semantics for CML. In Cliff Jones, Pekka Pihlajasaari, and Jun Sun, editors, FM 2014: Formal Methods, volume 8442 of Lecture Notes in Computer Science, pages 22-41. Springer International Publishing, 2014.
  • Victor Bandur and Jim Woodcock. Unifying theories of logic and specification. In Juliano Iyoda and Leonardo Mendonça de Moura, editors, Formal Methods: Foundations and Applications, 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, 29 September - 4 October, 2013, volume 8195 of Lecture Notes in Computer Science, pages 18-33. Springer, 2013.
  • Jim Woodcock and Victor Bandur. Unifying theories of undefinedness in UTP. In Burkhart Wolff, Marie-Claude Gaudel, and Abderrahmane Feliachi, editors, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, 27-28 August, 2012, Revised Selected Papers, volume 7681 of Lecture Notes in Computer Science, pages 1-22. Springer, 2013.
  • Simon Foster and Jim Woodcock. Unifying theories of programming in isabelle. In Zhiming Liu, Jim Woodcock, and Huibiao Zhu, editors, Unifying Theories of Programming and Formal Engineering Methods, International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, 26-30 August, 2013, Advanced Lectures, volume 8050 of Lecture Notes in Computer Science, pages 109-155. Springer, 2013. Rick Kazman, Klaus Schmid, Claus Ballegaard Nielsen, and John Klein. Understanding patterns for system of systems integration. In 8th International Conference on System of Systems Engineering (SoSE), pages 141-146, Philadelphia, PA, June 2013.
  • Alexandre Mota and Adalberto Farias. Implementing an SMT based model checker for CSP from its operational semantics. In Juliano Iyoda and Leonardo Mendonça de Moura, editors, Formal Methods: Foundations and Applications, 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, 29 September-4 October, 2013, Proceedings, volume 8195 of Lecture Notes in Computer Science. Springer, 2013.
  • Zoe Andrews, Richard Payne, Alexander Romanovsky, André LR Didier, Alexandre Mota. Model-based development of fault tolerant systems of systems. In Proceedings of the 7th International Systems Conference, IEEE SysCon 2013, IEEE, April 2013.
  • Jeremy Bryans, Richard Payne, Jon Holt, Simon Perry. Semi-Formal and Formal Interface Specification for System of Systems Architecture. In Proceedings of the 7th International Systems Conference, IEEE SysCon 2013, IEEE, April 2013.
  • John Fitzgerald, Jeremy Bryans and Richard Payne. A Formal Model-based Approach to Engineering Systems-of-Systems. In Luis Camarinha-Matos, Lai Xu and Hamideh Afsarmanesh, editors, Collaborative Networks in the Internet of Services, volume 380 of IFIP Advances in Information and Communication Technology, pages 53-62, Springer Berlin/ Heidelberg, 2012.
  • Jörg Brauer, Jan Peleska and Uwe Schulze. Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. In Brian Nielsen and Carsten Weise (eds.): Testing Software and Systems. Proceedings of the 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 2012. Springer LNCS 7841, pp. 8-23.
  • Jan Peleska. Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. Electronic Proceedings in Theoretical Computer Science, abs/1303.1006:3-28, 2013.
  • Tatiana Mangels and Jan Peleska. CTGEN - a Unit Test Generator for C. In Cassez, Franck and Huuck, Ralf and Klein, Gerwin and Schlich, Bastian (eds.): Proceedings Seventh Conference on Systems Software Verification, Sydney, Australia, 28-30 November 2012, Electronic Proceedings in Theoretical Computer Science 102, Open Publishing Association, pp. 88-102.
  • Zoe Andrews, John Fitzgerald, Richard Payne and Alexander Romanovsky. Fault Modelling for Systems of Systems. In Proceedings of the 11th International Symposium on Autonomous Decentralized System (ISADS), Mexico City, March 2013.
  • Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, and André Didier. COMPASS Tool Vision for a System of Systems Collaborative Development Environment. In Proceedings of the 7th International Conference on System of System Engineering, IEEE SoSE 2012, IEEE, July 2012.
  • Joey W. Coleman, Anders Kaels Malmos, Claus Ballegaard Nielsen, and Peter Gorm Larsen. Evolution of the Overture Tool Platform. In Proceedings of the 10th Overture Workshop 2012, School of Computing Science, Newcastle University, 2012.
  • André Didier and Alexandre Mota. Identifying hardware failures systematically. In Rohit Gheyi and David Naumann, editors, Formal Methods: Foundations and Applications, volume 7498 of Lecture Notes in Computer Science, pages 115-130. Springer Berlin / Heidelberg, 2012.
  • John Fitzgerald, Peter Gorm Larsen, and Jim Woodcock. Modelling and Analysis Technology for Systems of Systems Engineering: Research Challenges. INCOSE, Rome, Italy, July 2012.
  • Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, Rasmus Lauritsen, Lasse Lorenzen, and Jan Peleska. Technical Challenges of SoS Requirements Engineering. In Proceedings of the 7th International Conference on System of System Engineering, IEEE SoSE 2012, IEEE, July 2012.
  • Jon Holt. Model-based requirements engineering for system of systems. In Proceedings of the 7th International Conference on System of System Engineering, IEEE SoSE 2012, IEEE, July 2012.
  • Peter Gorm Larsen, Joey W. Coleman, and John Fitzgerald. Getting Software Engineering out of Isolation. In Alexander K. Petrenko, editor, SYRCoSE Software Engineering Colloquium, Perm, Russia, May 2012.
  • Rasmus Lauritsen and Lasse Lorenzen. Towards an extensible core model for Digital Rights Management in VDM. In Proceedings of the 10th Overture Workshop 2012, School of Computing Science, Newcastle University, 2012.
  • Claus Ballegaard Nielsen and Peter Gorm Larsen. Extending VDM-RT to enable the formal modelling of system of systems. In Proceedings of the 7th International Conference on System of System Engineering, IEEE SoSE 2012, IEEE, July 2012.
  • Richard Payne, Jeremy Bryans, John Fitzgerald, and Steve Riddle. Interface specification for system-of-systems architectures. In Proceedings of the 7th International Conference on System of System Engineering, IEEE SoSE 2012, IEEE, July 2012.
  • J. Woodcock, A. Cavalcanti, J. Fitzgerald, P. Larsen, A. Miyazawa, and S. Perry. Features of CML: a Formal Modelling Language for Systems of Systems. In Proceedings of the 7th International Conference on System of System Engineering, IEEE, July 2012.
  • John Fitzgerald, Jeremy Bryans, and Richard Payne. A formal model-based approach to engineering systems-of-systems. In Collaborative Networks in the Internet of Services - 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings, volume 380 of IFIP Advances in Information and Communication Technology, pages 53-62. Springer, 2012.