13 research outputs found

    Formal requirements modeling with executable use cases and Coloured Petri Nets

    Get PDF
    This paper presents executable use cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to model-driven development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described, since usually it is sufficient that one provides a specification, or platform-independent model, of the software that is to be developed. Therefore, a combination of EUCs and MDD may have potential to cover the path from user-level requirements via specifications to implementations of computer-based systems

    Expressing environment assumptions and real-time requirements for a distributed embedded system with shared variables

    Get PDF
    Apresentado na 6th IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), no âmbito do 20th IFIP World Computer Congress, Milão, Itália, set/2008.In a distributed embedded system, it is often necessary to share variables among its computing nodes to allow the distribution of control algorithms. It is therefore necessary to include a component in each node that provides the service of variable sharing. For that type of component, this paper discusses how to create a Colored Petri Nets (CPN) model that formally expresses the following elements in a clearly separated structure: (1) assumptions about the behavior of the environment of the component, (2) real-time requirements for the component, and (3) a possible solution in terms of an algorithm for the component. The CPN model can be used to validate the environment assumptions and the requirements. The validation is performed by execution of the model during which traces of events and states are automatically generated and evaluated against the requirements.(undefined

    Requirements Engineering for Reactive Systems with Coloured Petri Nets: the Gas Pump Controller Example

    No full text
    The contribution of this paper is to present a model-based approach to requirements engineering for reactive systems, and more specifically to controllers. The approach suggests the creation of a CPN model based on several diagrams, for validating the functional requirements of the system under development. An automatic gas pump controller is used as case study. We propose a generic structure for the CPN model to address the modelling of the controller, the physical entities which the controller interacts with, and the human users that operate the system. The CPN modules for modelling the behaviour of the human users and the controller are instances of a generic module that is able to interpret scenario descriptions specified in CPN ML

    Validation Support for Distributed Real-Time Embedded Systems in VDM++

    Get PDF
    Contains fulltext : 36669.pdf (preprint version ) (Open Access

    Designing tool support for translating use cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

    Get PDF
    Using a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases and UML 2.0 Sequence Diagrams. The CPN model constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPNs consitute a formal modelling language that enables construction and analysis of scalable, executable models of behaviour. A combined use of UML and CPN can be useful in several projects. CPN is well supported by CPN Tools and the work we present here is aimed at building a CPN Tools front-end engine that implements the proposed translation.Fundação para a Ciência e a Tecnologia (FCT) - SFRH/BSAB/607/200