A process for improving multi-technology system high level design: modeling, verification and validation of complex optronic systems.
Frédérick BénabenMireille LarnacJean-Paul PignonJanine MagnierPublished in: SMC (2000)
Keyphrases
- high level
- design requirements
- complex systems
- design process
- case study
- key technologies
- formal methods
- enabling technology
- low level
- computer systems
- physical processes
- design criteria
- design processes
- management information systems
- design issues
- physical systems
- real world
- higher level
- knowledge based systems
- formal verification
- design tools
- technological advances
- collaborative systems
- modeling language
- design decisions
- model checking
- decision aids
- high level abstraction
- workflow technology
- complex software systems
- socio technical systems
- support systems
- conceptual model
- building blocks
- business process modeling
- current status
- cost effective
- intelligent user interfaces
- expert systems