Designing dependable process-oriented software - a CSP-based approach

D.S. Jovanovic

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    59 Downloads (Pure)

    Abstract

    This thesis advocates dependability as a crucial aspect of software quality. Process orientation,as it is defined in this thesis, concentrates on the notion of a process as a basic building component of a dataflow-centred software architecture. The dependability approach in the proposed variant of process orientation builds on a few specific strengths of the particular dataflow-centred architecture which is based on the principles of the CSP process algebra. The CSP/CT process-oriented modelling and programming environment for control applications has been enriched in this work with various complementary instruments for raising dependability of concurrent software. In addition to the design methodology enhancement, the main deliverable is a graphical CASE tool, named gCSP, which facilitates modelling, visualizing and managing software models of evergrowing complexity. By manipulations of once developed models, the gCSP tool exploits the formal underpinning of the methodology to allow formal verification of the designs by automatically generating formal specification in the CSPm language. Efficient production and trusting the final outcome of the design—implementation code—is substantially increased by automatic code generation of C++ code compliant with the CTC++ implementation library for concurrent programming. In this thesis it is illustrated, worked out and shown on examples and mechatronic set-ups that the process-oriented CSP/CT framework is suitable for hosting various established dependability instruments: concurrent exception handling, N-version programming, logging, monitoring and several variants of watchdogs. This thesis advocates: tool-based visual programming, investments of increasing computer capabilities in bearing overheads of dependability of complex software systems, separation of versatile software concerns at the modelling stage, and making software development an engineering discipline by predictability established on a mathematically-based development. This together is proposed for raising quality of (embedded) software in design time.
    Original languageUndefined
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • van Amerongen, Jacob , Supervisor
    • Broenink, Jan, Advisor
    Thesis sponsors
    Award date16 Mar 2006
    Place of PublicationEnschede, Netherlands
    Publisher
    Print ISBNs90-365-2334-6
    Publication statusPublished - 16 Mar 2006

    Keywords

    • IR-55447
    • METIS-238663
    • EWI-6142

    Cite this

    Jovanovic, D. S. (2006). Designing dependable process-oriented software - a CSP-based approach. Enschede, Netherlands: University of Twente.
    Jovanovic, D.S.. / Designing dependable process-oriented software - a CSP-based approach. Enschede, Netherlands : University of Twente, 2006. 264 p.
    @phdthesis{74df148fa8ca43b98ec5ad194858bfc3,
    title = "Designing dependable process-oriented software - a CSP-based approach",
    abstract = "This thesis advocates dependability as a crucial aspect of software quality. Process orientation,as it is defined in this thesis, concentrates on the notion of a process as a basic building component of a dataflow-centred software architecture. The dependability approach in the proposed variant of process orientation builds on a few specific strengths of the particular dataflow-centred architecture which is based on the principles of the CSP process algebra. The CSP/CT process-oriented modelling and programming environment for control applications has been enriched in this work with various complementary instruments for raising dependability of concurrent software. In addition to the design methodology enhancement, the main deliverable is a graphical CASE tool, named gCSP, which facilitates modelling, visualizing and managing software models of evergrowing complexity. By manipulations of once developed models, the gCSP tool exploits the formal underpinning of the methodology to allow formal verification of the designs by automatically generating formal specification in the CSPm language. Efficient production and trusting the final outcome of the design—implementation code—is substantially increased by automatic code generation of C++ code compliant with the CTC++ implementation library for concurrent programming. In this thesis it is illustrated, worked out and shown on examples and mechatronic set-ups that the process-oriented CSP/CT framework is suitable for hosting various established dependability instruments: concurrent exception handling, N-version programming, logging, monitoring and several variants of watchdogs. This thesis advocates: tool-based visual programming, investments of increasing computer capabilities in bearing overheads of dependability of complex software systems, separation of versatile software concerns at the modelling stage, and making software development an engineering discipline by predictability established on a mathematically-based development. This together is proposed for raising quality of (embedded) software in design time.",
    keywords = "IR-55447, METIS-238663, EWI-6142",
    author = "D.S. Jovanovic",
    year = "2006",
    month = "3",
    day = "16",
    language = "Undefined",
    isbn = "90-365-2334-6",
    publisher = "University of Twente",
    address = "Netherlands",
    school = "University of Twente",

    }

    Jovanovic, DS 2006, 'Designing dependable process-oriented software - a CSP-based approach', University of Twente, Enschede, Netherlands.

    Designing dependable process-oriented software - a CSP-based approach. / Jovanovic, D.S.

    Enschede, Netherlands : University of Twente, 2006. 264 p.

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    TY - THES

    T1 - Designing dependable process-oriented software - a CSP-based approach

    AU - Jovanovic, D.S.

    PY - 2006/3/16

    Y1 - 2006/3/16

    N2 - This thesis advocates dependability as a crucial aspect of software quality. Process orientation,as it is defined in this thesis, concentrates on the notion of a process as a basic building component of a dataflow-centred software architecture. The dependability approach in the proposed variant of process orientation builds on a few specific strengths of the particular dataflow-centred architecture which is based on the principles of the CSP process algebra. The CSP/CT process-oriented modelling and programming environment for control applications has been enriched in this work with various complementary instruments for raising dependability of concurrent software. In addition to the design methodology enhancement, the main deliverable is a graphical CASE tool, named gCSP, which facilitates modelling, visualizing and managing software models of evergrowing complexity. By manipulations of once developed models, the gCSP tool exploits the formal underpinning of the methodology to allow formal verification of the designs by automatically generating formal specification in the CSPm language. Efficient production and trusting the final outcome of the design—implementation code—is substantially increased by automatic code generation of C++ code compliant with the CTC++ implementation library for concurrent programming. In this thesis it is illustrated, worked out and shown on examples and mechatronic set-ups that the process-oriented CSP/CT framework is suitable for hosting various established dependability instruments: concurrent exception handling, N-version programming, logging, monitoring and several variants of watchdogs. This thesis advocates: tool-based visual programming, investments of increasing computer capabilities in bearing overheads of dependability of complex software systems, separation of versatile software concerns at the modelling stage, and making software development an engineering discipline by predictability established on a mathematically-based development. This together is proposed for raising quality of (embedded) software in design time.

    AB - This thesis advocates dependability as a crucial aspect of software quality. Process orientation,as it is defined in this thesis, concentrates on the notion of a process as a basic building component of a dataflow-centred software architecture. The dependability approach in the proposed variant of process orientation builds on a few specific strengths of the particular dataflow-centred architecture which is based on the principles of the CSP process algebra. The CSP/CT process-oriented modelling and programming environment for control applications has been enriched in this work with various complementary instruments for raising dependability of concurrent software. In addition to the design methodology enhancement, the main deliverable is a graphical CASE tool, named gCSP, which facilitates modelling, visualizing and managing software models of evergrowing complexity. By manipulations of once developed models, the gCSP tool exploits the formal underpinning of the methodology to allow formal verification of the designs by automatically generating formal specification in the CSPm language. Efficient production and trusting the final outcome of the design—implementation code—is substantially increased by automatic code generation of C++ code compliant with the CTC++ implementation library for concurrent programming. In this thesis it is illustrated, worked out and shown on examples and mechatronic set-ups that the process-oriented CSP/CT framework is suitable for hosting various established dependability instruments: concurrent exception handling, N-version programming, logging, monitoring and several variants of watchdogs. This thesis advocates: tool-based visual programming, investments of increasing computer capabilities in bearing overheads of dependability of complex software systems, separation of versatile software concerns at the modelling stage, and making software development an engineering discipline by predictability established on a mathematically-based development. This together is proposed for raising quality of (embedded) software in design time.

    KW - IR-55447

    KW - METIS-238663

    KW - EWI-6142

    M3 - PhD Thesis - Research UT, graduation UT

    SN - 90-365-2334-6

    PB - University of Twente

    CY - Enschede, Netherlands

    ER -

    Jovanovic DS. Designing dependable process-oriented software - a CSP-based approach. Enschede, Netherlands: University of Twente, 2006. 264 p.