메뉴 건너뛰기




Volumn 33, Issue 6, 2005, Pages 613-643

A compositional behavioral modeling framework for embedded system design and conformance checking

Author keywords

Embedded system design; Formal methods; Models of computation; Program transformation; Verification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DYNAMIC PROGRAMMING; GLOBAL OPTIMIZATION; MATHEMATICAL MODELS;

EID: 27844470394     PISSN: 08857458     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10766-005-8907-y     Document Type: Article
Times cited : (6)

References (25)
  • 1
    • 27844490379 scopus 로고    scopus 로고
    • Hard real-time implementation of embedded software in JAVA
    • Lectures notes in computer science, Springer
    • J.-P. Talpin, A. Gamatié, B. Le Dez, D. Berner, and P. Le Guernic, Hard Real-Time Implementation of Embedded Software in JAVA, in FIDJI'2003, Lectures notes in computer science, Springer (2003).
    • (2003) FIDJI'2003
    • Talpin, J.-P.1    Gamatié, A.2    Le Dez, B.3    Berner, D.4    Le Guernic, P.5
  • 2
    • 0026223069 scopus 로고
    • Synchronous programming with events and relations: The SIGNAL language and its semantics
    • Elsevier
    • A. Benveniste, P. Le Guernic, and C. Jacquemot, Synchronous Programming with Events and Relations: The SIGNAL Language and its Semantics, in Science of Computer Programming, Vol. 16. Elsevier (1991).
    • (1991) Science of Computer Programming , vol.16
    • Benveniste, A.1    Le Guernic, P.2    Jacquemot, C.3
  • 6
    • 31344474133 scopus 로고    scopus 로고
    • Tree SSA, a new optimization infrastructure for GCC
    • D. Novillo, Tree SSA, A New Optimization Infrastructure for GCC, GCC developers summit (2003).
    • (2003) GCC Developers Summit
    • Novillo, D.1
  • 14
    • 84890061791 scopus 로고    scopus 로고
    • A behavioral module system for the π - Calculus
    • Lecture notes in computer science, Springer
    • S. K. Rajamani and J. Rehof, A behavioral Module System for the π - calculus, Static Analysis Symposium, Lecture notes in computer science, Springer (2001).
    • (2001) Static Analysis Symposium
    • Rajamani, S.K.1    Rehof, J.2
  • 15
    • 84944080499 scopus 로고    scopus 로고
    • Using the bandera tool set to model-check properties of concurrent java software
    • Lectures notes in computer science Springer
    • J. Hatcliff, and M. Dwyer, Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software, Invited tutorial, conference on concurrency theory, Lectures notes in computer science Vol. 2154, Springer (2001).
    • (2001) Invited Tutorial, Conference on Concurrency Theory , vol.2154
    • Hatcliff, J.1    Dwyer, M.2
  • 17
  • 19
    • 0036529990 scopus 로고    scopus 로고
    • An automated verification method for distributed systems software based on model extraction
    • IEEE Press
    • G. Holzmann, and M. Smith, An Automated Verification Method for Distributed Systems Software based on Model Extraction, IEEE Transactions on Software Engineering, vol. 28, IEEE Press (2002).
    • (2002) IEEE Transactions on Software Engineering , vol.28
    • Holzmann, G.1    Smith, M.2
  • 23
    • 35048827871 scopus 로고    scopus 로고
    • The blast query language for software verification
    • Lecture notes in computer science, Springer
    • D. Beyer, A. Chlipala, T. Henzinger, The Blast Query Language for Software Verification, International Static Analysis Symposium, Lecture notes in computer science, Vol. 3148, Springer (2004).
    • (2004) International Static Analysis Symposium , vol.3148
    • Beyer, D.1    Chlipala, A.2    Henzinger, T.3
  • 25
    • 84947280693 scopus 로고    scopus 로고
    • Interface theories for component-based design
    • Lecture notes in computer science Springer-Verlag
    • L. De Alfaro, and T. A. Henzinger, Interface Theories for Component-based Design. International Workshop on Embedded Software, Lecture notes in computer science Vol. 2211, Springer-Verlag (2001).
    • (2001) International Workshop on Embedded Software , vol.2211
    • De Alfaro, L.1    Henzinger, T.A.2


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