Paper Info
Title
An approach for integrated specification and design of real-time systems
Abstract
A design methodology for the design of microelectronic systems which includes hardware and software for open loop and closed loop control is presented. An integrated approach to specification and design, analysis and simulation of the overall system has been developed. This provides for a systematic, computer aided approach to requirements definition, specification and design as well as verification and validation of the results. As embedded systems often require real time capabilities, the environment presented gives special consideration to these constraints. We give an example for concrete applications, which shows, how the design of real time embedded systems is supported by the design methodology and environment
Year
DOI
Venue
1996
10.1109/EURDAC.1996.558214
EURO-DAC
Keywords
DocType
ISBN
closed loop systems,control system cad,formal specification,real-time systems,systems analysis,closed loop control,computer aided approach,design methodology,embedded systems,integrated approach,integrated specification,microelectronic systems,open loop control,real time capabilities,real time embedded systems,real time systems design,requirements definition,verification
Conference
0-8186-7573-X
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Y. Tanurhan1133.41
S. Schmerler2133.08
Golz, H.-P.300.34
Muller-Glaser, K.D.43915.07