225 research outputs found
Applying Co-Simulation for an Industrial Conveyor System
This paper describes an industrial application of a new research technology enabling the co-simulation of models in continuous time and discrete event respectively. The application concerns modeling of a conveyor system with trolleys that has tilting capabilities that can be used to compensate for high speeds in curves in order to avoid parcels falling of the trolleys. The main challenge for this kind of physical system is that a system solution here requires both insight into the mechanical physics behavior as well as ways in which the system can be controlled discretely by a software based solution. This paper demonstrates how it is possible to bridge the gap between these two different disciplines in co-simulated models
Proceedings of the 11th Overture Workshop
The 11th Overture Workshop was held in Aarhus, Denmark on Wed/Thu 28–29th Au- gust 2013. It was the 11th workshop in the current series focusing on the Vienna De- velopment Method (VDM) and particularly its community-based tools development project, Overture (http://www.overturetool.org/), and related projects such as COMPASS(http://www.compass-research.eu/) and DESTECS (http://www.destecs.org). Invited talks were given by Yves Ledru and Joe Kiniry. The workshop attracted 25 participants representing 10 nationalities. The goal of the workshop was to provide a forum to present new ideas, to identify and encourage new collaborative research, and to foster current strands of work towards publication in the mainstream conferences and journals. The Overture initiative held its first workshop at FM’05. Workshops were held subsequently at FM’06, FM’08 and FM’09, FM’11, FM’12 and in between
A systematic approach to model-based engineering of cyber-physical systems of systems
PhD ThesisThis thesis describes and evaluates methods for the model-based engineering of Systems of Systems
(SoSs) where constituents comprise both computational and physical elements typical of Cyber-Physical
Systems (CPSs). Such Cyber-Physical Systems of Systems (CPSoSs) use sensors and actuators to link
the digital and physical worlds, and are composed of operationally and managerially independent constituent systems that interact to deliver an emerging service on which reliance is placed.
The engineering of CPSoSs requires a combination of techniques associated with both CPS engineering
and SoS engineering. Model-based SoS engineering techniques address organisation and integration
of diverse systems through the use of disciplined architectural frameworks and contractual modelling
approaches. Advances in model-based CPS engineering address the additional challenges of integrating
semantically heterogeneous models of discrete and continuous phenomena. This thesis combines these
approaches to develop a coherent framework for the model-based engineering of CPSoSs.
The proposed approach utilises architectural frameworks to aid in the development of rich abstract
models of CPSoSs. This is accompanied by the specification of an automated transformation process to
generate heterogeneous co-models based on the architectural description. Verification of the proposed
engineering approach is undertaken by its application to a case study describing the control of trains over
a section of rail network, in which the (cyber) behaviour of control infrastructure must be considered
in conjunction with the (physical) dynamics of train movements. Using the proposed methods, the
development of this CPSoS uses architectural descriptions to generate an executable model to enable
the analysis of safety and efficiency implications of the implemented control logic.
The utility of the approach is evaluated by consideration of the impact of the proposed techniques
on advancing the suitability and maturity of baseline technologies for the engineering of CPSoS. It is
concluded that the proposed architectural framework provides effective guidance for the production of
rich architectural descriptions of CPSoSs, and that the conversion between architectural and executable
models is viable for implementation in a suitable open tools framework
Test Sequence Generation From Formally Verified SysML Models
est generation has been acknowledged as a cost-prone activity reducing productivity and time to market. Theexpected benefits of Model Based Systems Engineering includeautomated generation of test sequences from models. The paperproposes verification solutions for the System Modeling Lan-guage (SysML). In particular, the paper shows how to linktest generation to formal verification. The proposed algorithmsare implemented by the free software TTool. Two case studiessupport discussion on conformance and interoperability testing,respectively
- …