A Super Industrial Application of PSGraph

Yuhui Lin; Gudmund Grov; Colin O'Halloran; G. Priiya

doi:10.1007/978-3-319-33600-8_28

A Super Industrial Application of PSGraph

Yuhui Lin^*, Gudmund Grov, Colin O'Halloran, G. Priiya

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

The ClawZ toolset has been successful in verifying that Ada code is correctly generated from Simulink models in an industrial setting, using the Z notation. D-RisQ is now extending this technique to new domains of the C programming language, which requires changes to their highly complex proof technique. In this paper, we present initial results in the technology transfer of the graphical PSGraph language to support this extension, and show feasibility of PSGraph for industrial use with strong maintainability requirements.

Original language	English
Title of host publication	Abstract State Machines, Alloy, B, TLA, VDM, and Z
Subtitle of host publication	5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Editors	M. Butler, K.-D. Schewe, A. Mashkoor, M. Biro
Publisher	Springer
Pages	319-325
Number of pages	7
ISBN (Electronic)	9783319336008
ISBN (Print)	9783319335995
DOIs	https://doi.org/10.1007/978-3-319-33600-8_28
Publication status	Published - 2016
Event	5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z 2016 - Linz, Australia Duration: 23 May 2016 → 27 May 2016

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	9675
ISSN (Print)	0302-9743

Conference

Conference	5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z 2016
Country/Territory	Australia
City	Linz
Period	23/05/16 → 27/05/16

Access to Document

10.1007/978-3-319-33600-8_28

Cite this

Lin, Y., Grov, G., O'Halloran, C., & Priiya, G. (2016). A Super Industrial Application of PSGraph. In M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (pp. 319-325). (Lecture Notes in Computer Science; Vol. 9675). Springer. https://doi.org/10.1007/978-3-319-33600-8_28

@inproceedings{0c50223429e740bfade37738563498ae,

title = "A Super Industrial Application of PSGraph",

abstract = "The ClawZ toolset has been successful in verifying that Ada code is correctly generated from Simulink models in an industrial setting, using the Z notation. D-RisQ is now extending this technique to new domains of the C programming language, which requires changes to their highly complex proof technique. In this paper, we present initial results in the technology transfer of the graphical PSGraph language to support this extension, and show feasibility of PSGraph for industrial use with strong maintainability requirements.",

author = "Yuhui Lin and Gudmund Grov and Colin O'Halloran and G. Priiya",

year = "2016",

doi = "10.1007/978-3-319-33600-8_28",

language = "English",

isbn = "9783319335995",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "319--325",

editor = "M. Butler and K.-D. Schewe and A. Mashkoor and M. Biro",

booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z",

note = "5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z 2016 ; Conference date: 23-05-2016 Through 27-05-2016",

}

Lin, Y, Grov, G, O'Halloran, C & Priiya, G 2016, A Super Industrial Application of PSGraph. in M Butler, K-D Schewe, A Mashkoor & M Biro (eds), Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9675, Springer, pp. 319-325, 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z 2016, Linz, Australia, 23/05/16. https://doi.org/10.1007/978-3-319-33600-8_28

A Super Industrial Application of PSGraph. / Lin, Yuhui; Grov, Gudmund; O'Halloran, Colin et al.
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. ed. / M. Butler; K.-D. Schewe; A. Mashkoor; M. Biro. Springer, 2016. p. 319-325 (Lecture Notes in Computer Science; Vol. 9675).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A Super Industrial Application of PSGraph

AU - Lin, Yuhui

AU - Grov, Gudmund

AU - O'Halloran, Colin

AU - Priiya, G.

PY - 2016

Y1 - 2016

N2 - The ClawZ toolset has been successful in verifying that Ada code is correctly generated from Simulink models in an industrial setting, using the Z notation. D-RisQ is now extending this technique to new domains of the C programming language, which requires changes to their highly complex proof technique. In this paper, we present initial results in the technology transfer of the graphical PSGraph language to support this extension, and show feasibility of PSGraph for industrial use with strong maintainability requirements.

AB - The ClawZ toolset has been successful in verifying that Ada code is correctly generated from Simulink models in an industrial setting, using the Z notation. D-RisQ is now extending this technique to new domains of the C programming language, which requires changes to their highly complex proof technique. In this paper, we present initial results in the technology transfer of the graphical PSGraph language to support this extension, and show feasibility of PSGraph for industrial use with strong maintainability requirements.

U2 - 10.1007/978-3-319-33600-8_28

DO - 10.1007/978-3-319-33600-8_28

M3 - Conference contribution

SN - 9783319335995

T3 - Lecture Notes in Computer Science

SP - 319

EP - 325

BT - Abstract State Machines, Alloy, B, TLA, VDM, and Z

A2 - Butler, M.

A2 - Schewe, K.-D.

A2 - Mashkoor, A.

A2 - Biro, M.

PB - Springer

T2 - 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z 2016

Y2 - 23 May 2016 through 27 May 2016

ER -

Lin Y, Grov G, O'Halloran C, Priiya G. A Super Industrial Application of PSGraph. In Butler M, Schewe KD, Mashkoor A, Biro M, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer. 2016. p. 319-325. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-33600-8_28

A Super Industrial Application of PSGraph

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this