NDLI: Problem decomposition and sub-model reconciliation of control systems in Event-B

Content Provider	IEEE Xplore Digital Library
Author	Yeganefard, S. Butler, M.
Copyright Year	2013
Description	Author affiliation: Electron. & Comput. Sci., Univ. of Southampton, Southampton, UK (Yeganefard, S.; Butler, M.)
Abstract	To break the complexity of the formalisation process, we propose to model a functional requirement document of a control system as composeable monitored, controlled, mode and commanded sub-models. Influenced by the problem frame approach and the decomposition of the four-variable model, we suggest decomposing requirements of a control system into monitored, controlled, mode and commanded sub-problems. Each sub-problem can be formalised in a step-wise manner as a separate sub-model. To introduce the phenomena shared amongst the subproblems, the sub-models are reconciled. We propose a reconciliation process in the Event-B formal language based on the shared-variable and the shared-event styles which were originally developed for a model decomposition. The advantages and disadvantages of shared-variable and the shared-event reconciliation steps are also discussed. The requirements of an automotive cruise control system are decomposed and formalised as sub-models. These sub-models are also reconciled to introduce shared phenomena.
Starting Page	528
Ending Page	535
File Size	219745
Page Count	8
File Format	PDF
ISBN	9781479910502
DOI	10.1109/IRI.2013.6642515
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-08-14
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Control systems Monitoring Abstracts Software Mathematical model Vehicles Complexity theory
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B

The Case for Using Simulation to Validate Event-B Specifications

Hierarchical control design of nonlinear systems based on approximate simulation

On Information Flow Control in Event-B and Refinement

Modeling and control for (max, +)-linear systems with set-based constraints

Goal Model Elaboration for Software Evolution

Proving the Fidelity of Simulations of Event-B Models

A methodology for calculation of complexity in systems: Case study

Hierarchical control design of nonlinear systems based on approximate simulation

Problem decomposition and sub-model reconciliation of control systems in Event-B

Similar Documents

Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B

The Case for Using Simulation to Validate Event-B Specifications

Hierarchical control design of nonlinear systems based on approximate simulation

On Information Flow Control in Event-B and Refinement

Modeling and control for (max, +)-linear systems with set-based constraints

Goal Model Elaboration for Software Evolution

Proving the Fidelity of Simulations of Event-B Models

A methodology for calculation of complexity in systems: Case study

Hierarchical control design of nonlinear systems based on approximate simulation

Problem decomposition and sub-model reconciliation of control systems in Event-B