The behavior of real-time embedded systems (RTES) is driven by their environment. Independent system test teams normally focus on black-box testing as they have typically no easy access to precise design information. Black-box testing in this context is mostly about selecting test scenarios that are more likely to lead to unsafe situations in the environment. Our Model-Based Testing (MBT) metho...

Model-Based Systems Engineering plays a key role in managing the complexity in the development of modern cyber-physical systems. Model simulation allows conducting early validation and verification activities. In the context of Extended Enterprises, systems are built out of components developed in different companies as black boxes to protect the company Intellectual Property. Simulation activi...

In many modelling situations analytic solutions or traditional " black-box " solutions are unavailable. The same situations are often those where the understanding of the processes involved are most lacking. The combination of the qualitative logical formal tools combined with a suitable declarative modelling language allows for a coherent methodology to be applied which will allow a new unders...

Software artefacts at different levels of abstraction are closely inter-related. Developers require support for managing these inter-relationships as artefacts evolve during development. We describe a conceptual architecture and prototype for supporting traceability and inconsistency management between software requirements descriptions, UML-style use case models and black-box test plans. Key i...

Event sequence, asynchronously generated with random timestamp, is ubiquitous among applications. The precise and arbitrary timestamp can carry important clues about the underlying dynamics, and has lent the event data fundamentally different from the time-series whereby series is indexed with fixed and equal time interval. One expressive mathematical tool for modeling event is point process. T...

The paper presents the experimental comparison of the quality of three test suites based on the model of a Finite State Machine with timeouts, namely, the explicit enumeration of faulty mutants, transition tour and TFSM-based black-box test. Test suites are then applied to the program, automatically generated via the UML tool. The experimental results on the quality of the above mentioned test ...

The aim of this work theoretical study is to theoretically investigate a inorganic membrane assisted purifcation process of an H2-rich stream derived from a conventional methanol steam reforming stage. In particular, a black-box model for multicomponent gas mixture purifcation is dev...