Estimating and quantifying the impact of using models for integration and testing

Braspenning, N.C.W.M.; Boumen, R.; Mortel-Fronczak, J.M. van de; Rooda, J.E.

doi:10.1016/j.compind.2010.05.011

Cited by 4 publications

(3 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…One can think of, for instance, checking if the system is nonblocking or estimating system performance. In [6], evidence is provided that executable models help in improving system quality and in decreasing time to market. Models also support evolvability, as they can easily be reused for similar systems.…”

Section: Overviewmentioning

confidence: 99%

“…To wit, it is shown in [6,7] that models can successfully be used for early integration of wafer scanners, where the idea is to start integrating and testing as soon as possible, using models as replacements of components as long as actual component realizations are not yet available. Using an appropriate integration infrastructure that implements the designed and modeled interaction behavior, realized components can be integrated with models of not yet realized components.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

2016

View full text Add to dashboard Cite

Increasing system complexity, time to market and development costs reduction place higher demands on engineering processes. Formal models play an important role here because they enable the use of various model-based analyses and early integration techniques and tools. Engineering processes based on formal models are able to cope with complexity. They also support time to market and development costs reduction. Moreover, application of supervisory control synthesis in the development of control systems can speed up the process considerably. This paper discusses the integration of recently developed supervisor synthesis techniques and tools in engineering processes. To illustrate this approach, examples of industrial cases are presented, where supervisors synthesized have successfully been implemented and integrated in existing resource control platforms. IntroductionIn current industrial practice, it is very difficult to deal with high-tech multidisciplinary system development due to system complexity, market pressure, and resource limitations. To overcome the difficulties, various kinds of models are used increasingly often in the development process. Specifically, formal and executable models built and employed in the design phase can be used to assess functional correctness and performance of component designs and overall system design. Formal verification, in particular model checking [3], is employed when a high degree of confidence in functional correctness of a design is required. To assess design performance, one

show abstract

Section: Overviewmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

2016

View full text Add to dashboard Cite

show abstract

“…One can think of, for instance, checking if the system is nonblocking or estimating system performance. In Braspenning et al (2011), evidence is provided that executable models can help in improving system quality and in decreasing time to market. Additionally, models support evolvability, that is they can easily be adapted to a similar system.…”

Section: Introductionmentioning

confidence: 99%

Application of supervisory control theory to theme park vehicles

Forschelen

Mortel-Fronczak

et al. 2012

Discrete Event Dyn Syst

View full text Add to dashboard Cite

Due to increasing system complexity, time-to-market and development costs reduction, new engineering processes are required. Model-based engineering processes are suitable candidates because they support system development by enabling the use of various model-based analysis techniques and tools. As a result, they are able to cope with complexity and have the potential to reduce time-tomarket and development costs. Moreover, supervisory control synthesis can be integrated in this setting, which can further contribute to the development of control systems. To evaluate the applicability of recently developed supervisor synthesis techniques and to show how they can be integrated in an engineering process, a theme park vehicle is chosen as a case study. The supervisor synthesized for the theme park vehicle has successfully been implemented and integrated in the existing resource-control platform.

show abstract