SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings -Design, Automation and Test in Europe, DATE '05

Volumn II, Issue , 2005, Pages 1044-1049

Correct-by-construction transformations across design environments for model-based embedded software development

(7) Baleani, M a Ferrari, A a Mangeruca, L a Sangiovanni Vincentelli, A L a,b Freund, U c Schlanker, E c Wolff, H J c

a PARADES (Italy)

b UNIVERSITY OF CALIFORNIA (United States)

c Etas GmbH (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SYSTEMS; ERROR ANALYSIS; INDUSTRIAL PLANTS; REAL TIME SYSTEMS;

ASCET; EMBEDDED SOFTWARE DEVELOPMENT; INDUSTRIAL CONTROL PLANTS; VERIFICATION-RELATED PROBLEMS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33645700604 PISSN: 15301591 EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/DATE.2005.105 Document Type: Conference Paper

Times cited : (29)

References (9)

1
- 10444228540
- Translating discrete-time simulink to lustre
- P. Caspi, A. Curie, A. Maignan, C. Sofronis. and S. Tripakis. Translating discrete-time simulink to lustre. In Proceedings of the International Conference on Embedded Software, 2003.
- (2003) Proceedings of the International Conference on Embedded Software
- Caspi, P.¹ Curie, A.² Maignan, A.³ Sofronis, C.⁴ Tripakis, S.⁵

2
- 0031097394
- Design of embedded systems: Formal models, validation, and synthesis
- Mar.
- S. Edwards, L. Lavagno, E. Lee, and A. Sangiovanni-Vincentelli. Design of embedded systems: formal models, validation, and synthesis. Proceedings of the IEEE, 85(3):366-390. Mar. 1997.
- (1997) Proceedings of the IEEE , vol.85 , Issue.3 , pp. 366-390
- Edwards, S.¹ Lavagno, L.² Lee, E.³ Sangiovanni-Vincentelli, A.⁴

3
- 0037505803
- The semantics and execution of a synchronous block-diagram language
- jul
- S. A. Edwards and E. A. Lee. The semantics and execution of a synchronous block-diagram language. Science of Computer Programming, 48(1):21-42. jul 2003.
- (2003) Science of Computer Programming , vol.48 , Issue.1 , pp. 21-42
- Edwards, S.A.¹ Lee, E.A.²

4
- 33746802949
- ETAS. ASCET. http://www.etas.de.

5
- 33646921315
- From conception to implementation: A model based design approach
- apr
- A. Ferrari, G. Gaviani, G. Gentile, G. Stara, L. Romagnoli. and T. Thomsen. From conception to implementation: a model based design approach. In IFAC Symposium on Advances in Automotive Control (IFAC-AAC'04), apr 2004.
- (2004) IFAC Symposium on Advances in Automotive Control (IFAC-AAC'04)
- Ferrari, A.¹ Gaviani, G.² Gentile, G.³ Stara, G.⁴ Romagnoli, L.⁵ Thomsen, T.⁶

6
- 0037298562
- From control models to real-time code using giotto
- January
- T. Henzinger. C. Kirsch, M. Sanvido, and W. Pree. From control models to real-time code using giotto. IEEE Control Systems Magazine. 23(1):50-64, January 2003.
- (2003) IEEE Control Systems Magazine , vol.23 , Issue.1 , pp. 50-64
- Henzinger, T.¹ Kirsch, C.² Sanvido, M.³ Pree, W.⁴

7
- 5644294637
- Integrating model-based design and preemptive scheduling in mixed time- And event-triggered systems
- N. Scaife and P. Caspi. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In Proceedings of Euromicro Conference on Real-Time Systems (ECRTS'04), 2004.
- (2004) Proceedings of Euromicro Conference on Real-time Systems (ECRTS'04)
- Scaife, N.¹ Caspi, P.²

8
- 0025488794
- Priority inheritance protocols: An approach to real-time synchronization
- Sept.
- L. Sha, R. Rajkumar, and J. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39(9): 1175-1185, Sept. 1990.
- (1990) IEEE Transactions on Computers , vol.39 , Issue.9 , pp. 1175-1185
- Sha, L.¹ Rajkumar, R.² Lehoczky, J.³

9
- 33746789034
- The Mathworks. MATEAB/Simulink. http://www.mathworks.com.
- MATEAB/Simulink

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.