• DocumentCode
    2706053
  • Title

    Requirements analysis and specification of embedded systems using ESCAM-a case study

  • Author

    Winokur, Michael ; Lavi, Jonah Z. ; Lavi, Itzhak ; Oz, Rafi

  • Author_Institution
    Israel Aircraft Ind., Ben Gurion Airport, Beersheva, Israel
  • fYear
    1990
  • fDate
    8-10 May 1990
  • Firstpage
    80
  • Lastpage
    89
  • Abstract
    A description is presented of the experience gained using ECSAM, the embedded computer systems analysis method and STATEMATE, a tool for computer-aided software and systems engineering (CAS2E), in the analysis and specification of the requirements of a project. The project involves a comprehensive enhancement of an existing electrooptic system which requires modifying its conventional electronics into an embedded computer system. This was the first time ECSAM was used with STATEMATE to perform a complete system analysis. The constraints imposed by the existing system architecture and behavior characteristics added further difficulties to the project. The experience acquired in this project shows: that significant benefits can be gained by applying a well-defined methodology and a supporting CAS2E tool to the analysis of embedded computer systems, that the earlier in the life cycle of a project they are used, the better and that the attempt to use a CAS2E tool without a supporting methodology is useless and may lead to unnecessary complications
  • Keywords
    electronic engineering computing; formal specification; optical information processing; software tools; systems analysis; CAS2E; ECSAM; STATEMATE; behavior characteristics; case study; computer-aided software; conventional electronics; electrooptic system; embedded computer system; embedded computer systems analysis method; life cycle; requirements analysis; specification; supporting methodology; system architecture; systems engineering; Aerospace electronics; Aerospace industry; Aircraft propulsion; Airports; Application software; Computer aided software engineering; Computer industry; Embedded system; Performance analysis; Software engineering;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
  • Conference_Location
    Tel-Aviv
  • Print_ISBN
    0-8186-2041-2
  • Type

    conf

  • DOI
    10.1109/CMPEUR.1990.113611
  • Filename
    113611