The development of a real time embedded system such as an AUV is a highly complex process. These critical systems require a high level of maintainability and reliability. In this scope, the advantage of object-oriented analysis and design methods is that the object-based concepts is consistently applied during the whole software life cycle. This paradigm is well suited to implement subsystem frameworks which we would like to specify and to reuse them for the development of similar subsystems. UML (Unified Modeling Language) has got much attention when it comes to modeling of requirements. It provides an excellent framework for requirement capture and analysis. Unfortunately, the current UML semantics doesn't give enough support for the development of distributed real-time systems which require the possibility to express unambiguous interfaces and to simulate designs before implementation. So we investigate a UML/SDL combination approach to take advantage of the best features of object modeling techniques and a formal language SDL (Specification and Description Language) for a more rigorous description of the dynamic behavior of subsystems. As an application of this approach, this paper describes the software architecture of the navigation system which merges many sensors data to provide the position, the speed and the attitude of the vehicle.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Object oriented and formal methods for AUV development


    Contributors:
    Champeau, J. (author) / Dhaussy, P. (author) / Moitie, R. (author) / Prigent, A. (author)


    Publication date :

    2000


    Size :

    6 Seiten, 19 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Generation of Object-Oriented Formal Software Specifications

    Karagias, T. / Hartrum, T. / IEEE | British Library Conference Proceedings | 1997



    The Knowledge-Based Software Assistant: A Formal, Object Oriented, Software Development Environment

    Gerken, M. J. / Roberts, N. A. / White, D. A. et al. | British Library Conference Proceedings | 1996



    A Formal Model for Object Oriented Design of Shipbuilding Databases

    Alexe, G. / Alexe, S. / Society of Naval Architects of Japan | British Library Conference Proceedings | 1997