Sequence-based specification of feedback control systems in Simulink®
Citations
45 citations
34 citations
Cites background from "Sequence-based specification of fee..."
...ASD is a component-based, model-driven technology that combines the application of formal mathematical methods such as Sequence-Based Specification (SBS) [12], Communicating Sequential Processes (CSP) [16] and the model checker Failure Divergence Refinement (FDR) [5] with software development methods such as Stepwise Refinement, and Component-Based Software Development [4]....
[...]
...such as Sequence-Based Specification (SBS) [12], Communicating Sequential Processes (CSP) [16] and the model checker Failure Divergence Refinement (FDR) [5] with soft-...
[...]
23 citations
Cites methods from "Sequence-based specification of fee..."
...Our approach, which overcomes the drawbacks of TDD, bases on the idea of [8] and is further described in section IV....
[...]
23 citations
Cites methods from "Sequence-based specification of fee..."
...It was used in projects involved with testing embedded systems (ES) such as mass storage devices, medical devices and automotive components [6]....
[...]
References
219 citations
"Sequence-based specification of fee..." refers background in this paper
...This type of system is formally know as a sampled-data control system [12]....
[...]
168 citations
152 citations
"Sequence-based specification of fee..." refers background in this paper
...As in our power window example, feedback control systems have two major parts, a controller and a plant[9]....
[...]
134 citations
"Sequence-based specification of fee..." refers background in this paper
...Only current state and current stimulus is necessary to determine response and next state[3]....
[...]
...A complete, consistent and correct black box specifying user requirements is the foundation for engineering control system software[3]....
[...]
130 citations