Real time programming : languages, specification and verification /

The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of r...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Shyamasundar, Rudrapatna, 1950-
Autor Corporativo: World Scientific (Firm)
Otros Autores: Ramesh, S. (Sethu)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore ; Hackensack, N.J. : World Scientific Pub. Co., ©2010.
Temas:
Real-time programming.
Programmation en temps réel.
REFERENCE > General.
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBSCO_ocn630133206
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cuu|||uu|||
008 100524s2010 si a ob 001 0 eng d
010 |z  2010278745 
040 |a LLB  |b eng  |e pn  |c LLB  |d N$T  |d E7B  |d YDXCP  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCF  |d OCLCQ  |d AZK  |d COCUF  |d AGLDB  |d MOR  |d PIFAG  |d OCLCQ  |d U3W  |d STF  |d WRM  |d VTS  |d INT  |d VT2  |d OCLCQ  |d WYU  |d JBG  |d OCLCQ  |d REC  |d OCLCA  |d AU@  |d M8D  |d LEAUB  |d UKCRE  |d VLY  |d OCLCO  |d UIU  |d DST  |d OCLCQ  |d OCLCO  |d OCLCQ 
015 |a GBA937217  |2 bnb 
016 7 |z 015109969  |2 Uk 
019 |a 670430040  |a 694144129  |a 961625069  |a 962715019  |a 988432576  |a 992065509  |a 1037785192  |a 1038628504  |a 1055401437  |a 1065699339  |a 1081210057  |a 1086449553  |a 1153518428  |a 1162460241  |a 1241856168  |a 1290086223  |a 1300611344 
020 |a 9789812814029  |q (electronic bk.) 
020 |a 9812814027  |q (electronic bk.) 
020 |z 9810225660 
020 |z 9789810225667 
020 |a 9781282760271 
020 |a 1282760270 
020 |a 9786612760273 
020 |a 6612760273 
029 1 |a AU@  |b 000047175713 
029 1 |a AU@  |b 000051406931 
029 1 |a DEBBG  |b BV043099212 
029 1 |a DEBSZ  |b 372802141 
029 1 |a DEBSZ  |b 42167542X 
029 1 |a GBVCP  |b 803177321 
029 1 |a NZ1  |b 15908503 
035 |a (OCoLC)630133206  |z (OCoLC)670430040  |z (OCoLC)694144129  |z (OCoLC)961625069  |z (OCoLC)962715019  |z (OCoLC)988432576  |z (OCoLC)992065509  |z (OCoLC)1037785192  |z (OCoLC)1038628504  |z (OCoLC)1055401437  |z (OCoLC)1065699339  |z (OCoLC)1081210057  |z (OCoLC)1086449553  |z (OCoLC)1153518428  |z (OCoLC)1162460241  |z (OCoLC)1241856168  |z (OCoLC)1290086223  |z (OCoLC)1300611344 
050 4 |a QA76.54  |b .S33 2010eb 
072 7 |a REF  |x 000000  |2 bisacsh 
082 0 4 |a 005.273  |2 22 
049 |a UAMI 
100 1 |a Shyamasundar, Rudrapatna,  |d 1950- 
245 1 0 |a Real time programming :  |b languages, specification and verification /  |c R.K. Shyamasundar and S. Ramesh. 
260 |a Singapore ;  |a Hackensack, N.J. :  |b World Scientific Pub. Co.,  |c ©2010. 
300 |a 1 online resource (xv, 245 pages) :  |b illustrations (some color) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references (pages 235-242) and index. 
505 0 |a pt. I. Real time systems -- background. 1. Real time system characteristics. 1.1. Real-time and reactive programs. 2. Formal program development methodologies. 2.1. Requirement specification. 2.2. System specifications. 3. Characteristics of real-time languages. 3.1. Modelling features of real-time languages. 3.2. A look at classes of real-time languages. 4. Programming characteristics of reactive systems. 4.1. Execution of reactive programs. 4.2. Perfect synchrony hypothesis. 4.3. Multiform notion of time. 4.4. Logical concurrency and broadcast communication. 4.5. Determinism and causality -- pt. II. Synchronous languages. 5. ESTEREL language : structure. 5.1. Top level structure. 5.2. ESTEREL statements. 5.3. Illustrations of ESTEREL program behaviour. 5.4. Causality problems. 5.5. A historical perspective. 6. Program development in ESTEREL. 6.1. A simulation environment. 6.2. Verification environment. 7. Programming controllers in ESTEREL. 7.1. Auto controllers. 8. Asynchronous interaction in ESTEREL -- 9. Futurebus arbitration protocol : a case study. 9.1. Arbitration process. 9.2. Abstraction of the protocol. 9.3. Solution in ESTEREL -- 10. Semantics of ESTEREL. 10.1. Semantic structure. 10.2. Transition rules. 10.3. Illustrative examples. 10.4. Discussions. 10.5. Semantics of Esterel with exec -- pt. III. Other synchronous languages. 11. Synchronous language LUSTRE. 11.1. An overview of LUSTRE. 11.2. Flows and streams. 11.3. Equations, variables and expressions. 11.4. Program structure. 11.5. Arrays in LUSTRE. 11.6. Further examples. 12. Modelling Time-Triggered Protocol (TTP) in LUSTRE. 12.1. Time-triggered protocol. 12.2. Modelling TTP in LUSTRE. 13. Synchronous language ARGOS. 13.1. ARGOS constructs. 13.2. Illustrative example. 13.3. Discussions -- pt. IV. Verification of synchronous programs. 14. Verification of ESTEREL programs. 14.1. Transition system based verificationy of ESTEREL Programs. 14.2. ESTEREL transition system. 14.3. Temporal logic based verification. 14.4. Observer-based verification. 14.5. First order logic based verification. 15. Observer based verification of simple LUSTRE programs. 15.1. A simple auto controller. 15.2. A complex controller. 15.3. A cruise controller. 15.4. A train controller. 15.5. A mine pump controller -- pt. V. Integration of synchrony and asynchrony. 16. Communicating reactive processes. 16.1. An overview of CRP. 16.2. Communicating reactive processes : structure. 16.3. Behavioural semantics of CRP. 16.4. An illustrative example : banker teller machine. 16.5. Implementation of CRP. 17. Semantics of communicating reactive processes. 17.1. A brief overview of CSP. 17.2. Translation of CSP to CRP. 17.3. Cooperation of CRP nodes. 17.4. Ready-trace semantics of CRP. 17.5. Ready-trace semantics of CSP. 17.6. Extracting CSP ready-trace semantics from CRP semantics. 17.7. Correctness of the translation. 17.8. Translation into MEIJE process calculus. 18. Communicating reactive state machines. 18.1. CRSM constructs. 18.2. Semantics of CRSM. 19. Multiclock ESTEREL. 19.1. Need for a multiclock synchronous paradigm. 19.2. Informal introduction. 19.3. Formal semantics. 19.4. Embedding CRP. 19.5. Modelling a VHDL subset. 19.6. Discussion. 20. Modelling real-time systems in ESTEREL. 20.1. Interpretation of a global clock in terms of exec. 20.2. Modelling real-time requirements. 21. Putting it together. 
520 |a The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly enable us to identify languages that can be used for different kinds of applications. Obviously, in an upcoming area like this, this presentation is far from complete. The quintessence of the monograph can be captured by the following question : How can we design and develop Robust Reactive (real-time) Programs? We address this question in this monograph through the various underlying issues listed, such as characteristics of real-time/reactive programs, reactive programming languages, verification and refinements. 
588 0 |a Print version record. 
546 |a English. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Real-time programming. 
650 6 |a Programmation en temps réel. 
650 7 |a REFERENCE  |x General.  |2 bisacsh 
650 7 |a Real-time programming.  |2 fast  |0 (OCoLC)fst01091223 
700 1 |a Ramesh, S.  |q (Sethu) 
710 2 |a World Scientific (Firm) 
776 1 |z 9810225660 
776 1 |z 9789810225667 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=340618  |z Texto completo 
938 |a ebrary  |b EBRY  |n ebr10422187 
938 |a EBSCOhost  |b EBSC  |n 340618 
938 |a YBP Library Services  |b YANK  |n 3511313 
994 |a 92  |b IZTAP 

Ejemplares similares