Systems of systems engineering: basic concepts, model-based techniques, and research directions
CB Nielsen, PG Larsen, J Fitzgerald… - ACM Computing …, 2015 - dl.acm.org
The term “System of Systems”(SoS) has been used since the 1950s to describe systems that
are composed of independent constituent systems, which act jointly towards a common goal …
are composed of independent constituent systems, which act jointly towards a common goal …
Power considerations in the design of the Alpha 21264 microprocessor
MK Gowan, LL Biro, DB Jackson - … of the 35th Annual Design Automation …, 1998 - dl.acm.org
Power dissipation is rapidly becoming a limiting factor in high performance microprocessor
design due to ever increasing device counts and clock rates. The 21264 is a third generation …
design due to ever increasing device counts and clock rates. The 21264 is a third generation …
A Tutorial Introduction to CSP in Unifying Theories of Programming
A Cavalcanti, J Woodcock - Pernambuco Summer School on Software …, 2004 - Springer
Abstract In their Unifying Theories of Programming (UTP), Hoare & He use the alphabetised
relational calculus to give denotational semantics to a wide variety of constructs taken from …
relational calculus to give denotational semantics to a wide variety of constructs taken from …
Integrating specification and programs for system modeling and verification
High level specification languages like CSP use mathematical objects as abstractions to
represent systems and processes. System behaviors are described as process expressions …
represent systems and processes. System behaviors are described as process expressions …
A UTP semantics for Circus
Circus specifications define both data and behavioural aspects of systems using a
combination of Z and CSP constructs. Previously, a denotational semantics has been given …
combination of Z and CSP constructs. Previously, a denotational semantics has been given …
A Refinement Strategy for Circus
We present a refinement strategy for Circus, which is the combination of Z, CSP, and the
refinement calculus in the setting of Hoare and He's unifying theories of programming. The …
refinement calculus in the setting of Hoare and He's unifying theories of programming. The …
Combining CSP and B for specification and property verification
M Butler, M Leuschel - … 2005: Formal Methods: International Symposium of …, 2005 - Springer
ProB is a model checking tool for the B Method. In this paper we present an extension of
ProB that supports checking of specifications written in a combination of CSP and B. We …
ProB that supports checking of specifications written in a combination of CSP and B. We …
Isabelle/UTP: A Mechanised Theory Engineering Framework
S Foster, F Zeyda, J Woodcock - … , UTP 2014, Singapore, May 13, 2014 …, 2015 - Springer
We introduce Isabelle/UTP, a novel mechanisation of Hoare and He's Unifying Theories of
Programming (UTP) in Isabelle/HOL. UTP is a framework for the study, formalisation, and …
Programming (UTP) in Isabelle/HOL. UTP is a framework for the study, formalisation, and …
Features of CML: A formal modelling language for Systems of Systems
We discuss the initial design for CML, the first formal language specifically designed for
modelling and analysing Systems of Systems (SoSs). It is presented through the use of an …
modelling and analysing Systems of Systems (SoSs). It is presented through the use of an …
A concurrent language for refinement
J Woodcock, A Cavalcanti - 5th Irish workshop on formal methods, 2001 - scienceopen.com
We present a combination of the well-established formal specification languages Z and
CSP; our objective is to provide support for the specification of both data and behaviour …
CSP; our objective is to provide support for the specification of both data and behaviour …