Compositional specification of functionality and timing of manufacturing systems

L.J. van der Sanden, J.P. Nogueira Bastos, J.P.M. Voeten, M.C.W. Geilen, M.A. Reniers, T. Basten, J. Jacobs, R.R.H. Schiffelers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Uittreksel

In this paper, a formal modeling approach is introduced for compositional specification of both functionality and timing of manufacturing systems. Functionality aspects can be considered orthogonally to the timing. The functional aspects are specified using two abstraction levels; high-level activities and lower level actions. Design of a functionally correct controller is possible by looking only at the activity level, abstracting from the different execution orders of actions. Furthermore, the specific timing of actions is not needed. As a result, controller design
can be performed on a much smaller state space compared to an explicit model where timing and actions are present. The performance of the controller can be analyzed and optimized
by taking into account the timing characteristics. Since formal semantics are given in terms of a (max, +) state space, various existing performance analysis techniques can be used. We
illustrate the approach, including performance analysis, on an example manufacturing system.
TaalEngels
TitelProceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016
Aantal pagina's8
StatusGepubliceerd - sep 2016
Evenement2016 Forum on specification and Design Languages (FDL 2016) - Universitaet Bremen, Bremen, Duitsland
Duur: 14 sep 201616 sep 2016
https://ecsi.org/fdl

Congres

Congres2016 Forum on specification and Design Languages (FDL 2016)
Verkorte titelFDL 2016
LandDuitsland
StadBremen
Periode14/09/1616/09/16
Internet adres

Vingerafdruk

Specifications
Controllers
Semantics

Citeer dit

van der Sanden, L. J., Nogueira Bastos, J. P., Voeten, J. P. M., Geilen, M. C. W., Reniers, M. A., Basten, T., ... Schiffelers, R. R. H. (2016). Compositional specification of functionality and timing of manufacturing systems. In Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016
van der Sanden, L.J. ; Nogueira Bastos, J.P. ; Voeten, J.P.M. ; Geilen, M.C.W. ; Reniers, M.A. ; Basten, T. ; Jacobs, J. ; Schiffelers, R.R.H./ Compositional specification of functionality and timing of manufacturing systems. Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. 2016.
@inproceedings{c92cf391ccde47908e117d0774b392f0,
title = "Compositional specification of functionality and timing of manufacturing systems",
abstract = "In this paper, a formal modeling approach is introduced for compositional specification of both functionality and timing of manufacturing systems. Functionality aspects can be considered orthogonally to the timing. The functional aspects are specified using two abstraction levels; high-level activities and lower level actions. Design of a functionally correct controller is possible by looking only at the activity level, abstracting from the different execution orders of actions. Furthermore, the specific timing of actions is not needed. As a result, controller designcan be performed on a much smaller state space compared to an explicit model where timing and actions are present. The performance of the controller can be analyzed and optimizedby taking into account the timing characteristics. Since formal semantics are given in terms of a (max, +) state space, various existing performance analysis techniques can be used. Weillustrate the approach, including performance analysis, on an example manufacturing system.",
author = "{van der Sanden}, L.J. and {Nogueira Bastos}, J.P. and J.P.M. Voeten and M.C.W. Geilen and M.A. Reniers and T. Basten and J. Jacobs and R.R.H. Schiffelers",
year = "2016",
month = "9",
language = "English",
booktitle = "Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016",

}

van der Sanden, LJ, Nogueira Bastos, JP, Voeten, JPM, Geilen, MCW, Reniers, MA, Basten, T, Jacobs, J & Schiffelers, RRH 2016, Compositional specification of functionality and timing of manufacturing systems. in Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016., Bremen, Duitsland, 14/09/16.

Compositional specification of functionality and timing of manufacturing systems. / van der Sanden, L.J.; Nogueira Bastos, J.P.; Voeten, J.P.M.; Geilen, M.C.W.; Reniers, M.A.; Basten, T.; Jacobs, J.; Schiffelers, R.R.H.

Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. 2016.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

TY - GEN

T1 - Compositional specification of functionality and timing of manufacturing systems

AU - van der Sanden,L.J.

AU - Nogueira Bastos,J.P.

AU - Voeten,J.P.M.

AU - Geilen,M.C.W.

AU - Reniers,M.A.

AU - Basten,T.

AU - Jacobs,J.

AU - Schiffelers,R.R.H.

PY - 2016/9

Y1 - 2016/9

N2 - In this paper, a formal modeling approach is introduced for compositional specification of both functionality and timing of manufacturing systems. Functionality aspects can be considered orthogonally to the timing. The functional aspects are specified using two abstraction levels; high-level activities and lower level actions. Design of a functionally correct controller is possible by looking only at the activity level, abstracting from the different execution orders of actions. Furthermore, the specific timing of actions is not needed. As a result, controller designcan be performed on a much smaller state space compared to an explicit model where timing and actions are present. The performance of the controller can be analyzed and optimizedby taking into account the timing characteristics. Since formal semantics are given in terms of a (max, +) state space, various existing performance analysis techniques can be used. Weillustrate the approach, including performance analysis, on an example manufacturing system.

AB - In this paper, a formal modeling approach is introduced for compositional specification of both functionality and timing of manufacturing systems. Functionality aspects can be considered orthogonally to the timing. The functional aspects are specified using two abstraction levels; high-level activities and lower level actions. Design of a functionally correct controller is possible by looking only at the activity level, abstracting from the different execution orders of actions. Furthermore, the specific timing of actions is not needed. As a result, controller designcan be performed on a much smaller state space compared to an explicit model where timing and actions are present. The performance of the controller can be analyzed and optimizedby taking into account the timing characteristics. Since formal semantics are given in terms of a (max, +) state space, various existing performance analysis techniques can be used. Weillustrate the approach, including performance analysis, on an example manufacturing system.

M3 - Conference contribution

BT - Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016

ER -

van der Sanden LJ, Nogueira Bastos JP, Voeten JPM, Geilen MCW, Reniers MA, Basten T et al. Compositional specification of functionality and timing of manufacturing systems. In Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. 2016.