Embedded Computer Systems. Requirements Analysis & Specification - An Industrial Course

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.

[1]  Chris Gane,et al.  Structured Systems Analysis: Tools and Techniques , 1977 .

[2]  David Lorge Parnas,et al.  On the Design and Development of Program Families , 2001, IEEE Transactions on Software Engineering.

[3]  Ernest A. Hershey,et al.  PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems , 1976, IEEE Transactions on Software Engineering.

[4]  Margaret Hamilton,et al.  The functional life cycle model and its automation: USE.IT , 1983, J. Syst. Softw..

[5]  David Lorge Parnas,et al.  Review of David L. Parnas' "Designing Software for Ease of Extension and Contraction" , 2004 .

[6]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[7]  Kathryn L. Heninger.  Specifying Software Requirements for Complex Systems: New Techniques and Their Application , 2001, IEEE Transactions on Software Engineering.

[8]  Robert E Loesh.  Improving productivity through standard design templates , 1985 .

[9]  R. J. Lano,et al.  A technique for software and systems design , 1979 .

[10]  Douglas T. Ross,et al.  Applications and Extensions of SADT , 1985, Computer.

[11]  Stephanie White,et al.  Embedded Computer System Requirements Workshop , 1985, Computer.

[12]  J. Z. Lavi,et al.  A systems engineering approach to software engineering , 1984, ISPW.

[13]  Jonah Z. Lavi,et al.  IAI Corporate Software Engineering Training and Education Program , 1987, IEEE Transactions on Software Engineering.

[14]  Robert Balzer,et al.  On the inevitable intertwining of specification and implementation , 1982, CACM.