A balancing act : analyzing a distributed lift system

J.F. Groote; J. Pang; A.G. Wouters

A balancing act : analyzing a distributed lift system

J.F. Groote
, J. Pang
, A.G. Wouters

Algorithms

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

96 Downloads (Pure)

Samenvatting

The process-algebraic language µcrl is used to analyze an existing distributed system for lifting trucks. Four errors were found in the original design. We propose solutions for these problems and show by means of model-checking that the modified system meets the requirements.

Originele taal-2	Engels
Titel	Proceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001)
Redacteuren	F. Karelse
Plaats van productie	Utrecht
Uitgeverij	STW Technology Foundation
Pagina's	59-66
ISBN van geprinte versie	90-73461-26-X
Status	Gepubliceerd - 2001

Toegang tot document

Metis185967Definitieve gepubliceerde versie, 126 KB

Citeer dit

@inproceedings{2851226f5bc940a1ba2b870479b72349,

title = "A balancing act : analyzing a distributed lift system",

abstract = "The process-algebraic language µcrl is used to analyze an existing distributed system for lifting trucks. Four errors were found in the original design. We propose solutions for these problems and show by means of model-checking that the modified system meets the requirements.",

author = "J.F. Groote and J. Pang and A.G. Wouters",

year = "2001",

language = "English",

isbn = "90-73461-26-X",

pages = "59--66",

editor = "F. Karelse",

booktitle = "Proceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001)",

publisher = "STW Technology Foundation",

}

TY - GEN

T1 - A balancing act : analyzing a distributed lift system

AU - Groote, J.F.

AU - Pang, J.

AU - Wouters, A.G.

PY - 2001

Y1 - 2001

N2 - The process-algebraic language µcrl is used to analyze an existing distributed system for lifting trucks. Four errors were found in the original design. We propose solutions for these problems and show by means of model-checking that the modified system meets the requirements.

AB - The process-algebraic language µcrl is used to analyze an existing distributed system for lifting trucks. Four errors were found in the original design. We propose solutions for these problems and show by means of model-checking that the modified system meets the requirements.

M3 - Conference contribution

SN - 90-73461-26-X

SP - 59

EP - 66

BT - Proceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001)

A2 - Karelse, F.

PB - STW Technology Foundation

CY - Utrecht

ER -

A balancing act : analyzing a distributed lift system

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit