Show simple item record

dc.contributor.author
Hoang, Thai Son
dc.contributor.author
Hudon, Simon
dc.date.accessioned
2017-11-14T12:00:50Z
dc.date.available
2017-06-10T18:44:08Z
dc.date.available
2017-11-14T12:00:50Z
dc.date.issued
2010
dc.identifier.uri
http://hdl.handle.net/20.500.11850/68886
dc.identifier.doi
10.3929/ethz-a-006906008
dc.description.abstract
Event-B is a formal method that allows one to model various kinds of systems including control systems working within some fragile environment. However, it is lacking a systematic approach for developing this type of systems and it hinders the applicability of Event-B. Our contribution is such an approach and it is presented in this paper. Our proposed method focuses on a set of elements that should be captured by the formal model and prescribes an order in which they should be introduced. The key aspect of our approach is to first model the required behaviour of the environment, and then to introduce the controller to appropriately influence the environment. It has the advantage that every step of the such a development is dictated by the information available so far, including the requirements. We argue that having a clear development strategy early in the design process will assist the developers in producing high-quality models of the future software systems.
en_US
dc.language.iso
en
en_US
dc.publisher
ETH, Department of Computer Science
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
Development strategy
en_US
dc.subject
Event-B
en_US
dc.subject
System development
en_US
dc.subject
Formal modelling
en_US
dc.subject
Refinement
en_US
dc.title
Developing control systems with some fragile environment
en_US
dc.type
Report
dc.rights.license
In Copyright - Non-Commercial Use Permitted
dc.date.published
2011
ethz.journal.title
Technical report
ethz.journal.volume
723
en_US
ethz.size
9 p.
en_US
ethz.code.ddc
0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.notes
Technical Reports D-INFK.
en_US
ethz.identifier.nebis
006906008
ethz.publication.place
Zurich
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science
en_US
ethz.date.deposited
2017-06-10T18:48:09Z
ethz.source
ECOL
ethz.source
ECIT
ethz.identifier.importid
imp593650c13f51566974
ethz.identifier.importid
imp59366b1ca26cd76920
ethz.ecolpid
eth:5154
ethz.ecitpid
pub:109286
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-25T17:12:18Z
ethz.rosetta.lastUpdated
2017-11-14T12:00:55Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Developing%20control%20systems%20with%20some%20fragile%20environment&rft.jtitle=Technical%20report&rft.date=2010&rft.volume=723&rft.au=Hoang,%20Thai%20Son&Hudon,%20Simon&rft.genre=report&
 Search via SFX

Files in this item

Thumbnail

Publication type

Show simple item record