Modelling predictable component-based distributed control architectures

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2003, Pages 339-346

  Schmidt, Heinz W ^a   Peake, Ian D ^a   Xie, Jue ^a   Thomas, Ian ^a   Kramer, Bernd J ^b   Fay, Alexander ^c   Bort, Peter ^c  

^a MONASH UNIVERSITY   (Australia)

^b UNIVERSITY OF HAGEN   (Germany)

^c ABB CORPORATE RESEARCH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COLLABORATION WITH INDUSTRIES; COMPONENT ARCHITECTURES; COMPOSITIONAL REASONING; COMPOSITIONALITY; CRITICAL PROPERTIES; DISTRIBUTED CONTROL ARCHITECTURES; EXTRA-FUNCTIONAL PROPERTIES; INDUSTRIAL CONTROL SYSTEMS;

PETRI NETS;

CONTROL SYSTEM ANALYSIS;

EID: 33746423619     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2003.1267550     Document Type: Conference Paper

References (17)

1. E. Best and P. S. Thiagarajan. Some classes of live and safe petri nets. In Concurrency and Nets, LNCS, 72-94, Springer, 1987.
2. U. H. Engberg and G. Winskel. Linear logic on Petri nets. Technical Report BRICS RS-94-3, University Aarhus, Computer Science, February 1994.
3. J. Jayaputera, I. H. Poernomo, and H. W. Schmidt. Timed probabilistic reasoning on UML specialization for fault tolerant component based architectures. In SAVCBS 2003 Proc., Specification and Verificatin of Component-Based Systems, 42-48, 2003.
4. M. Jazayeri, A. Ran, and F. van der Linden. Software Architecture for Product Families: Principles and Practice. Addison-Wesley, 2000.
5. B. J. Krämer. A case study in developing complex safety critical systems. In HICSS, Vol. V: Advanced Technology, 135-143, 1997.
6. C. Lewerentz and T. Lindner (Eds. ). Formal Development of Reactive Systems-Case Study Production Cell. LNCS 891, Springer, 1995.
7. J. Magee and J. Kramer. Concurrency: State Models and Java Programs. Wiley & Sons, 1999.
8. N. Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70-93, 2000.
9. E. Ochmanski. Recognizable trace languages. In Volker Diekert and Grzegorz Rosenberg, editors, The Book of Traces, pages 165-203. World Scientific, 1995.
10. I. H. Poernomo,R. H. Reussner, and H. W. Schmidt. Architectures of Enterprise Systems: Modelling Transactional Contexts. In Proc. of the First IFIP/ACM Working Conference on Component Deployment (CD 2002), LNCS 2370, 233-243, Springer, 2002.
11. R. H. Reussner. Enhanced component interfaces to support dynamic adaption and extension. In 34th HICSS, IEEE, January 3-5 2001.
12. R. H. Reussner, H. W. Schmidt, and I. Poernomo. Reliability prediction for component-based software architectures. Journal of Systems and Software, 66(3):241-252, 2003.
13. H. W. Schmidt and W. Zimmermann. A complexity calculus for object-oriented programs. Journal of Object-Oriented Systems, 1(2):117-147, 1994.
14. H. W. Schmidt. Trustworthy components: Compositionality and prediction. Journal of Systems and Software, 65(3):215-225, 2003.
15. H. W. Schmidt and R. H. Reussner. Generating Adapters for Concurrent Component Protocol Synchronisation. In Proc. of the Fifth IFIP International Conference on Formal Methods for Open Objectbased Distributed Systems, 213-229. Kluwer Academic Publisher, March 2002.
16. J. Xu, B. Randel, A. Romanovsky, R. J. Stroud, A. V. Zorzo, E. Canver, and F. von Henke. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Transactions on Computers, 51(2):164-179, 2002.
17. D. Yellin and R. Strom. Protocol Specifications and Component Adaptors. ACM Trans. on Programming Languages and Systems, 19(2):292-333, 1997.