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

메뉴 건너뛰기

Science of Computer Programming

Volumn 41, Issue 1, 2001, Pages 85-104

Formal verification of programs specified with signal: Application to a power transformer station controller

(4) Marchand, H a Rutten, E b Le Borgne, M a Samaan, M c

a INRIA (France)

b INRIA RHÔNE ALPES (France)

c EDF R AND D (France)

Author keywords

Case study; Formal methods; Power systems; Reactive systems; Real time; Synchronous language; Verification

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DATA FLOW ANALYSIS; ELECTRIC TRANSFORMERS; MATHEMATICAL MODELS; POWER CONTROL;

SOFTWARE PACKAGE SIGNAL;

FORMAL LANGUAGES;

EID: 0035452389 PISSN: 01676423 EISSN: None Source Type: Journal
DOI: 10.1016/S0167-6423(00)00020-4 Document Type: Article

Times cited : (21)

References (28)

1
- 0004512275
- Signal - The specification of a generic, verified production cell controller
- Formal Development of Reactive Systems - Case Study Production Cell, January (Ch. VII)
- (1995) Lecture Notes in Computer Science , vol.891 , pp. 115-129
- Amagbegnon, T.¹ Le Guernic, P.² Marchand, H.³ Rutten, E.⁴

2
- 4243570522
- Technical Report No. 917, IRISA, March
- (1995) The signal data flow methodology applied to a production cell
- Amagbegnon, T.¹ Le Guernic, P.² Marchand, H.³ Rutten, E.⁴

3
- 84976827476
- Implementation of the data-flow synchronous language signal
- (1995) ACM SIGPLAN Notices , vol.30 , Issue.6 , pp. 163-173
- Amagbegnon, T.A.¹ Besnard, L.² Le Guernic, P.³

4
- 0027628161
- Supervisory control of a rapid thermal multiprocessor
- (1993) IEEE Trans. Automat. Control , vol.38 , Issue.7 , pp. 1040-1059
- Balemi, S.¹ Hoffmann, G.J.² Wong-Toi, H.³ Franklin, G.F.⁴

5
- 0026220148
- Real-time systems designs and programming
- (1991) Proc. IEEE , vol.79 , Issue.9 , pp. 1270-1282
- Benveniste, A.¹ Berry, G.²

6
- 84968579381
- Preemption in concurrent systems
- Proc. 13th Conf. on Foundations of Software Technology and Theoretical Computer Science, Springer, Bombay, India, December
- (1993) Lecture Notes in Computer Science , vol.761
- Berry, G.¹

7
- 0003818202
- (1999) The Constructive Semantics of Pure Esterel
- Berry, G.¹

8
- 0026220920
- The ESTEREL language
- (1991) Proc. IEEE , vol.9 , Issue.79 , pp. 1293-1304
- Boussinot, F.¹ De Simone, R.²

9
- 0022769976
- Graph-based algorithms for boolean function manipulations
- (1986) IEEE Trans. Comput. , vol.C-45 , Issue.8 , pp. 677-691
- Bryant, R.E.¹

10
- 4243668671
- Research Report No. 798, IRISA, January
- (1994) Control of polynomial dynamic systems: an example
- Dutertre, B.¹ Le Borgne, M.²

11
- 0343783899
- Code generation in the sacres project
- Towards System Safety, Huntingdon, UK, Springer, Berlin, February
- (1999) Proceedings of the Safety-Critical Systems Symposium, SSS'99
- Gautier, T.¹ Le Guernic, P.²

12
- 0026912203
- Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
- (1992) IEEE Trans. Software Eng. , vol.18 , Issue.9 , pp. 785-793
- Halbwachs, N.¹ Lagnier, F.² Ratel, C.³

13
- 0003720571
- Kluwer, Dordrecht
- (1993) Synchronous Programming of Reactive Systems
- Halbwachs, N.¹

14
- 0028336309
- A multiparadigm language for reactive systems
- Toulouse, France, May
- (1994) Proc. IEEE Int. Conf. on Computer Languages, ICCL'94
- Jourdan, M.¹ Lagnier, F.² Maraninchi, F.³ Raymond, F.⁴

15
- 0004487368
- Ph.D. Thesis, Université de Rennes I, September
- (1993) Systèmes dynamiques sur des corps finis
- Le Borgne, M.¹

16
- 0024942740
- Polynomial ideal theoric methods in discrete event and hybrid dynamical systems
- Tampa, FL, December
- (1989) Proc. 28th IEEE Conf. on Decision and Control , pp. 2695-2700
- Le Borgne, M.¹ Benveniste, A.² Le Guernic, P.³

17
- 0026399966
- Dynamical systems over galois fields and deds control problems
- (1991) Proc. 30th IEEE Conf. on Decision and Control , pp. 1505-1510
- Le Borgne, M.¹ Benveniste, A.² Le Guernic, P.³

18
- 0004536791
- Polynomial dynamical systems over finite fields
- G. Jacob, F. Lamnabhi-lagarrigue (Eds.), Algebraic Computing in Control, March
- (1991) Lecture Notes in Computer and Information Sciences , vol.165 , pp. 212-222
- Le Borgne, M.¹ Benveniste, A.² Le Guernic, P.³

19
- 0026222682
- Programming real-time applications with signal
- (1991) Proc. IEEE , vol.79 , Issue.9 , pp. 1321-1336
- Le Guernic, P.¹ Gautier, T.² Le Borgne, M.³ Le Maire, C.⁴

20
- 79957743485
- Mode-automata: About modes and states for reactive systems
- Eur. Symp. on Programming, Lisbon, Portugal, Springer, Berlin, March
- (1998) Lecture Notes in Computer and Information Sciences , vol.1381
- Maraninchi, F.¹ Rémond, Y.²

21
- 0004536792
- Research Report No. 1271, Irisa, October
- (1999) The supervisory control problem of discrete event systems using polynomial methods
- Marchand, H.¹ Le Borgne, M.²

22
- 4243668670
- Research Report No. 2521, INRIA, March
- (1995) Specifying and verifying a transformer station in signal and signalgti
- Marchand, H.¹ Rutten, E.² Samaan, M.³

23
- 22844455580
- Incremental design of a power transformer station controller using controller synthesis methodology
- World Congr. on Formal Methods, FM'99, Toulouse, France, Springer, Berlin, September
- (1999) Lecture Notes in Computer Science , vol.1709 , pp. 1605-1624
- Marchand, H.¹ Samaan, M.²

24
- 0020254156
- Supervision of discrete event processes
- Orlando, FL, December
- (1982) Proc. 21st IEEE Conf. Decision and Control , pp. 1228-1229
- Ramadge, P.J.¹ Wonham, W.M.²

25
- 0024479313
- The control of discrete event systems
- (1989) Proc. IEEE (Special issue on Dynamics of Discrete Event Systems) , vol.77 , Issue.1 , pp. 81-98
- Ramadge, P.J.¹ Wonham, W.M.²

26
- 0003325044
- The sequencing of data flow tasks in SIGNAL
- Orlando, FL, June
- (1994) Proc. ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems
- Rutten, E.¹ Le Guernic, P.²

27
- 0031146787
- An experiment with reactive data-flow tasking in active robot vision
- (1997) Software - Practice Exp. , vol.27 , Issue.5 , pp. 599-621
- Rutten, E.¹ Marchand, E.² Chaumette, F.³

28
- 84884617633
- Signalgti: Implementing task preemption and time intervals in the synchronous data flow language signal
- Odense, Denmark, Juin 14-16
- (1995) Proc. 7th Euromicro Workshop on Real Time Systems
- Rutten, E.¹ Martinez, F.²

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