Search citation statements
Paper Sections
Citation Types
Publication Types
Relationship
Authors
Journals
This paper gives an overview over techniques for the specification of complex, heterogeneous systems, i.e. microsystems or automotive control systems including hardware (analog and digital electronics, mechanical or optical actuators and sensors) and software and describes an approach to an integrated environment to support and control the requirement definition, specification and system designphases. Thisapproach combinesbehavioral, functional and data oriented specification based on formal languages as wcll as knowledge based concepts for the acquisition of a complete description of the goals, requirements and consmints related to a system design pojca. Within this environment, existing commercial specification and system design tools have k e n integrated into a CAE framework and new 100ls have been developed to support early requirement definition, specification flow contro1,earlyvalidation of spedficationsand specification data management. 1Introduction The requirements and specification phases are defmed as those stages in the system design cycle that precede the design of system architecture. These phases include the formulation and analysis of thc functional, behavioral and data-oriented requiremen& to the proposed sysleni and non-functional requirements, conditions and constraints that must be mct and considcrcd, respcclivcly. As shown in fig. 1, thc rcquirenienb dcfinition reprcscnts h e initial, intcrachvc proccss of formulating the customer's ncuis as wcll a s the vendorspccific restrictions and common technical and economical conditions. Feasibility studies are performed to validate the requirements. The formulation, validation and modification of requirements results typically in a specification document that includes a collection of formal and informal, functional and nonfunctional requirements, goals, constraints and marginal conditions. Currcntly available specification techniques, such as Structured Analysis for Real-Time System? (SA/RT) /HAT88/, StatecharL? /HAR87/, Specification and Description Languagc SDL /S D UX/, /S AR X9/ and Hardware Dcscri pion Lang uagcs /V H D L9 1 / mainly concentrate on thc functional spccification, h a t is, thc syskm's static and dynamic aspects of behavior. However, to guarantee a successful development of a complex system requires a great deal more information than is given in the functional specification alone. Formal funcliond and bchsvionl lnkrka definilion --Figure 1: The requirements definition, specification and system design process Technical and economical constraints, such as application-specific marginal conditions, maximum ratings, capabilities of available technologies, time-to-market window and forecasted development and fabrication costs are some of the essential non-functional aspects to be considered during feasibility study, design planning and designmanagement Fig. 2givesanoverview ova specificationdomains for electronic system as defined in /MUEI)O/. Thc approachcs to computer support Tor requirements dcfinition and spccilication can bc classi...
This paper gives an overview over techniques for the specification of complex, heterogeneous systems, i.e. microsystems or automotive control systems including hardware (analog and digital electronics, mechanical or optical actuators and sensors) and software and describes an approach to an integrated environment to support and control the requirement definition, specification and system designphases. Thisapproach combinesbehavioral, functional and data oriented specification based on formal languages as wcll as knowledge based concepts for the acquisition of a complete description of the goals, requirements and consmints related to a system design pojca. Within this environment, existing commercial specification and system design tools have k e n integrated into a CAE framework and new 100ls have been developed to support early requirement definition, specification flow contro1,earlyvalidation of spedficationsand specification data management. 1Introduction The requirements and specification phases are defmed as those stages in the system design cycle that precede the design of system architecture. These phases include the formulation and analysis of thc functional, behavioral and data-oriented requiremen& to the proposed sysleni and non-functional requirements, conditions and constraints that must be mct and considcrcd, respcclivcly. As shown in fig. 1, thc rcquirenienb dcfinition reprcscnts h e initial, intcrachvc proccss of formulating the customer's ncuis as wcll a s the vendorspccific restrictions and common technical and economical conditions. Feasibility studies are performed to validate the requirements. The formulation, validation and modification of requirements results typically in a specification document that includes a collection of formal and informal, functional and nonfunctional requirements, goals, constraints and marginal conditions. Currcntly available specification techniques, such as Structured Analysis for Real-Time System? (SA/RT) /HAT88/, StatecharL? /HAR87/, Specification and Description Languagc SDL /S D UX/, /S AR X9/ and Hardware Dcscri pion Lang uagcs /V H D L9 1 / mainly concentrate on thc functional spccification, h a t is, thc syskm's static and dynamic aspects of behavior. However, to guarantee a successful development of a complex system requires a great deal more information than is given in the functional specification alone. Formal funcliond and bchsvionl lnkrka definilion --Figure 1: The requirements definition, specification and system design process Technical and economical constraints, such as application-specific marginal conditions, maximum ratings, capabilities of available technologies, time-to-market window and forecasted development and fabrication costs are some of the essential non-functional aspects to be considered during feasibility study, design planning and designmanagement Fig. 2givesanoverview ova specificationdomains for electronic system as defined in /MUEI)O/. Thc approachcs to computer support Tor requirements dcfinition and spccilication can bc classi...
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.