Skip to main content
SpringerLink
Log in

Embedded computer systems requirements analysis & specification — an industrial course

  • Conference paper
  • First Online:
Software Engineering Education (SEI 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 327))

Included in the following conference series:

Abstract

IAI, Israel Aircraft Industries, has developed an industrial course to train its engineers in the analysis and specification of embedded computer systems (ESC) and their software. The course, based on a method which has been developed at IAI over the last eight years, blends known methods with original IAI developments. The approach stresses a total systems engineering view which considers the analysis of all systems aspects, not only the software. It discourages analysis of software alone without considering the entire system viewpoint. STATEMATE, a tool specially developed to support the method, is also introduced in the course.

The paper describes briefly the IAI method and the tool, the objectives of the course, its structure, contents and organization. That is followed by the lessons learned, future developments in the method and courses.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Balzar, R, Swartout, W., "On the Inevitable Interwining of Specification and Implementation", Communication of the ACM, Vol 25, Mo 7, July 1982 pp. 438–440.

    Article  Google Scholar 

  2. Britton-Heninger, K., Parker A. R., Parnas, D. L., "A Procedure for Designing Abstract Interfaces for Device Modules", Proceeding of the Fifth International Conference on Software Engineering, March 1981, pp. 195–205.

    Google Scholar 

  3. DOD Standard 2167, "Defense Systems Software Development", Department of Defense, Wanshinton DC, June 1985.

    Google Scholar 

  4. (—), "Glyph Word Processing System", John Bryce (Glasgow) Ltd., Talpiot, Jerusalem, Israel, May 1985.

    Google Scholar 

  5. Gane, C., Sarson, T., "Structured Systems Analysis: Tools and Techniques", Prentice Hall 1979.

    Google Scholar 

  6. Hamilton, M., Zeldin, S., "The Functional Life Cycle Model and Its Automation: USE. IT", The Journal of Systems and Software, Vol 3, No. 1, pp. 25–62, March 1983.

    Article  Google Scholar 

  7. Harel, D., "Statecharts: A Visual Formalism for Complex System", in Science of Computer Programming, Vol 8, pp. 231–274, North-Holland, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  8. Heninger, K.L., "Specifying Software Requirements for Complex Systems: New Techniques and their Applications". IEEE Transactions on Software Engineering, January 1980, pp. 2–13.

    Google Scholar 

  9. ( — ), "Statemate — The Visual Appreach", i-Logix Inc. 22 Third Avenue, Burlington, Ma 01803, 1987.

    Google Scholar 

  10. Lavi, J.Z., "A Systems Engineering Approach to Software Engineering", IEEE Proc. Software Process Workshop, Egham, UK, Feb. 1984, pp. 49–57.

    Google Scholar 

  11. Lavi, J.Z., Kessler, E., "An Embedded Computer Systems Analysis Method, "in Procedings of Israel First Conference on Computer Systems and Software Engineering" Tel Aviv, June 1986.

    Google Scholar 

  12. Lavi, J.Z., Ben-Porat, M., Ben-David, A., "IAI Corporate Software Engineering Training and Education Program" IEEE Transactions on Software Engineering, November 1987.

    Google Scholar 

  13. Lano, R. J., "A Technique for Software and Systems Design”, TRW Series on Software Engineering, North Holland Publishing Company, Amsterdam, 1979.

    Google Scholar 

  14. Loesh, R. E., "Improving Productivity Through Standard Design Templates", Data Processing, Butterworth & Co., Vol 27, No. 9 November 1985, pp. 57–59.

    Article  Google Scholar 

  15. McFadyen, W. S., "A Cohesive Methodology for the Development of Large Real-Time Systems", Journal of Telecommunication Networks, Vol. No. 3, Feb. 1982, pp. 265–280.

    Google Scholar 

  16. MIL-STD-1553B, "U.S.A Military Standart, Aircraft Internal Time Devision Command Response Multiplex Data Bus", 1976.

    Google Scholar 

  17. Parnas, D. L., "On the Design & Development of Program Families", IEEE Transactions on Software Engineering, Vol. SE-2, No. 1, pp. 1–9, 1976.

    Google Scholar 

  18. Parnas, D. L., "Designing Software for Ease of Extention & Contraction", IEEE Transaction on software Engineering, Vol. SE-5, No 2, pp. 128–137, 1979.

    Google Scholar 

  19. Parnas, D. L., Wuerges, H., "Respnse tp Undesired Events in Systes Software", Proceedings of Second International Conference, on Software Engineering, pp. 427–446, 1976.

    Google Scholar 

  20. Pietrasanta, A., Personal discussion during conference on Software Engineering Education, Pittsbourgh, 1987

    Google Scholar 

  21. Pietrasanta, A., "Keynote Address in "Proceedings of 1987 Conference on Software Engineering Education". North Holland, 1988.

    Google Scholar 

  22. Ross, D. T., "Applications and Extensions of SADT", Computer, Vol 18, No, 4, April 1985, PP. 25–35.

    Google Scholar 

  23. Tiechroew, D., Hershy, E. A. III, "PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems", IEEE Transactions on Software Engineering, January 1977, pp. 41–48.

    Google Scholar 

  24. White, M. S., Lavi, J. Z., "Embedded Computer System Requirements Workshop”, Computer, Vol. 19, No. 4, April 1985

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Israel Aircraft Industries Ben Gurion Airport, Israel

    Jonah Z. Lavi (Loeb) & Michael Winokur

Authors
  1. Jonah Z. Lavi (Loeb)
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Winokur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gary A. Ford

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lavi (Loeb), J.Z., Winokur, M. (1988). Embedded computer systems requirements analysis & specification — an industrial course. In: Ford, G.A. (eds) Software Engineering Education. SEI 1988. Lecture Notes in Computer Science, vol 327. Springer, New York, NY. https://doi.org/10.1007/BFb0043592

Download citation

  • DOI: https://doi.org/10.1007/BFb0043592

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-0-387-96854-4

  • Online ISBN: 978-0-387-34779-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation