摘要: The emphasis of CSESAW'92 is on exploring system-level design synthesis and assessment capabilities for mission critical computer systems. These capabilities will facilitate the development of such systems from informal system req... 展开 The emphasis of CSESAW'92 is on exploring system-level design synthesis and assessment capabilities for mission critical computer systems. These capabilities will facilitate the development of such systems from informal system requirements, through the design phase prototyping, and into implementation and post deployment. Component products produced by these capabilities are specifications that subenvironments will receive. The focus of this workshop is the development and integration of these multiple technologies and the exploration of the creation of a system-level engineering discipline with support technologies to provide potential high payoff solutions to the difficult problems encountered by designers, developers, and maintainers of large, complex, real-time systems. The emphasis is on resolving system-level technology issues that cut across component boundaries, such as those associated with system behavior requirements of real time, fault tolerance, and security.... Systems engineering, Design capture and analysis, System design synthesis, Security, Requirements and traceability, Design optimization, Massively Interconnected model, Dependability. 收起