Loading…

Structuring reactive systems in B AMN

B has been widely used for high-integrity systems development, for example in the railway industry. However, there are few published guidelines on how to structure B specifications for particular types of system, such as reactive control systems. In this paper, we describe a method to support the gr...

Full description

Saved in:

Bibliographic Details
Main Authors:	Lano, K., Androutsopoulos, K., Kan, P.
Format:	Conference Proceeding
Language:	English
Subjects:	Actuators Computer industry Computer science Control systems Educational institutions Guidelines Partitioning algorithms Rail transportation Safety Sensor systems
Online Access:	Request full text
Tags:	Add Tag No Tags, Be the first to tag this record!

cited_by
cites
container_end_page	33
container_issue
container_start_page	25
container_title
container_volume
creator	Lano, K. Androutsopoulos, K. Kan, P.
description	B has been widely used for high-integrity systems development, for example in the railway industry. However, there are few published guidelines on how to structure B specifications for particular types of system, such as reactive control systems. In this paper, we describe a method to support the graphical design of systems using the B abstract machine notation (AMN), and we develop guidelines for expressing the structuring requirements of reactive systems in B.
doi_str_mv	10.1109/ICFEM.2000.873802
format	conference_proceeding
fullrecord	<record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_873802</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>873802</ieee_id><sourcerecordid>873802</sourcerecordid><originalsourceid>FETCH-LOGICAL-i174t-3e9fb030484c69502211a437eeece3082b59032f809675306ac17ea6c281d3f3</originalsourceid><addsrcrecordid>eNotj01LAzEYhANFsNT9AfWUi8dd3-TN5uNYl1YL_Ti095LGdyViiySp0H_vSj3NYZh5ZhibCmiEAPe87BbzdSMBoLEGLcgRq5yxYLRrwUop7lmV8-fgAzpltByzp11Jl1AuKZ4_eCIfSvwhnq-50CnzeOYvfLbePLC73n9lqv51wvaL-b57q1fb12U3W9VRGFVqJNcfAUFZFf6QA1F4hYaIAuGw4Ng6QNlbcNq0CNoHYcjrIK14xx4n7PFWG4fE4TvFk0_Xw-0K_gIdPzxo</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Structuring reactive systems in B AMN</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Lano, K. ; Androutsopoulos, K. ; Kan, P.</creator><creatorcontrib>Lano, K. ; Androutsopoulos, K. ; Kan, P.</creatorcontrib><description>B has been widely used for high-integrity systems development, for example in the railway industry. However, there are few published guidelines on how to structure B specifications for particular types of system, such as reactive control systems. In this paper, we describe a method to support the graphical design of systems using the B abstract machine notation (AMN), and we develop guidelines for expressing the structuring requirements of reactive systems in B.</description><identifier>ISBN: 9780769508221</identifier><identifier>ISBN: 0769508227</identifier><identifier>DOI: 10.1109/ICFEM.2000.873802</identifier><language>eng</language><publisher>IEEE</publisher><subject>Actuators ; Computer industry ; Computer science ; Control systems ; Educational institutions ; Guidelines ; Partitioning algorithms ; Rail transportation ; Safety ; Sensor systems</subject><ispartof>ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods, 2000, p.25-33</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/873802$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,4036,4037,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/873802$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Lano, K.</creatorcontrib><creatorcontrib>Androutsopoulos, K.</creatorcontrib><creatorcontrib>Kan, P.</creatorcontrib><title>Structuring reactive systems in B AMN</title><title>ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods</title><addtitle>ICFEM</addtitle><description>B has been widely used for high-integrity systems development, for example in the railway industry. However, there are few published guidelines on how to structure B specifications for particular types of system, such as reactive control systems. In this paper, we describe a method to support the graphical design of systems using the B abstract machine notation (AMN), and we develop guidelines for expressing the structuring requirements of reactive systems in B.</description><subject>Actuators</subject><subject>Computer industry</subject><subject>Computer science</subject><subject>Control systems</subject><subject>Educational institutions</subject><subject>Guidelines</subject><subject>Partitioning algorithms</subject><subject>Rail transportation</subject><subject>Safety</subject><subject>Sensor systems</subject><isbn>9780769508221</isbn><isbn>0769508227</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2000</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotj01LAzEYhANFsNT9AfWUi8dd3-TN5uNYl1YL_Ti095LGdyViiySp0H_vSj3NYZh5ZhibCmiEAPe87BbzdSMBoLEGLcgRq5yxYLRrwUop7lmV8-fgAzpltByzp11Jl1AuKZ4_eCIfSvwhnq-50CnzeOYvfLbePLC73n9lqv51wvaL-b57q1fb12U3W9VRGFVqJNcfAUFZFf6QA1F4hYaIAuGw4Ng6QNlbcNq0CNoHYcjrIK14xx4n7PFWG4fE4TvFk0_Xw-0K_gIdPzxo</recordid><startdate>2000</startdate><enddate>2000</enddate><creator>Lano, K.</creator><creator>Androutsopoulos, K.</creator><creator>Kan, P.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>2000</creationdate><title>Structuring reactive systems in B AMN</title><author>Lano, K. ; Androutsopoulos, K. ; Kan, P.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i174t-3e9fb030484c69502211a437eeece3082b59032f809675306ac17ea6c281d3f3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2000</creationdate><topic>Actuators</topic><topic>Computer industry</topic><topic>Computer science</topic><topic>Control systems</topic><topic>Educational institutions</topic><topic>Guidelines</topic><topic>Partitioning algorithms</topic><topic>Rail transportation</topic><topic>Safety</topic><topic>Sensor systems</topic><toplevel>online_resources</toplevel><creatorcontrib>Lano, K.</creatorcontrib><creatorcontrib>Androutsopoulos, K.</creatorcontrib><creatorcontrib>Kan, P.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Lano, K.</au><au>Androutsopoulos, K.</au><au>Kan, P.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Structuring reactive systems in B AMN</atitle><btitle>ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods</btitle><stitle>ICFEM</stitle><date>2000</date><risdate>2000</risdate><spage>25</spage><epage>33</epage><pages>25-33</pages><isbn>9780769508221</isbn><isbn>0769508227</isbn><abstract>B has been widely used for high-integrity systems development, for example in the railway industry. However, there are few published guidelines on how to structure B specifications for particular types of system, such as reactive control systems. In this paper, we describe a method to support the graphical design of systems using the B abstract machine notation (AMN), and we develop guidelines for expressing the structuring requirements of reactive systems in B.</abstract><pub>IEEE</pub><doi>10.1109/ICFEM.2000.873802</doi><tpages>9</tpages></addata></record>
fulltext	fulltext_linktorsrc
identifier	ISBN: 9780769508221
ispartof	ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods, 2000, p.25-33
issn
language	eng
recordid	cdi_ieee_primary_873802
source	IEEE Electronic Library (IEL) Conference Proceedings
subjects	Actuators Computer industry Computer science Control systems Educational institutions Guidelines Partitioning algorithms Rail transportation Safety Sensor systems
title	Structuring reactive systems in B AMN
url	http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-10T02%3A24%3A30IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Structuring%20reactive%20systems%20in%20B%20AMN&rft.btitle=ICFEM%202000.%20Third%20IEEE%20International%20Conference%20on%20Formal%20Engineering%20Methods&rft.au=Lano,%20K.&rft.date=2000&rft.spage=25&rft.epage=33&rft.pages=25-33&rft.isbn=9780769508221&rft.isbn_list=0769508227&rft_id=info:doi/10.1109/ICFEM.2000.873802&rft_dat=%3Cieee_6IE%3E873802%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i174t-3e9fb030484c69502211a437eeece3082b59032f809675306ac17ea6c281d3f3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=873802&rfr_iscdi=true