Abstract
We present a new visual language, SCCharts, designed for the model-driven engineering of safety-critical reactive systems. SCCharts provide determinate concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs.
Hanxleden, R. V., Duderstadt, B., Fuhrmann, I., Motika, C., Smyth, S., Mendler, M., Aguado, J., Loftus-Mercer, S. & O'brien, O.,
(2015).
Sequential constructiveness, sccharts for safety-critical applications.
In:
Aßmann, U., Demuth, B., Spitta, T., Püschel, G. & Kaiser, R.
(Hrsg.),
Software-engineering and management 2015.
Bonn:
Gesellschaft für Informatik e.V..
(S. 116-117).
@inproceedings{mci/Hanxleden2015,
author = {Hanxleden, Reinhard Von AND Duderstadt, Björn AND Fuhrmann, Insa AND Motika, Christian AND Smyth, Steven AND Mendler, Michael AND Aguado, Joaquń AND Loftus-Mercer, Stephen AND O'brien, Owen},
title = {Sequential constructiveness, sccharts for safety-critical applications},
booktitle = {Software-engineering and management 2015},
year = {2015},
editor = {Aßmann, Uwe AND Demuth, Birgit AND Spitta, Thorsten AND Püschel, Georg AND Kaiser, Ronny}
,
pages = {
116-117
},
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
(en)