Towards verification of ensemble-based component systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8348 LNCS, Issue , 2014, Pages 41-60

  Barnat, Jiří ^a   Beneš, Nikola ^a   Bureš, Tomáš ^b   Černá, Ivana ^a   Keznikl, Jaroslav ^b   Plášil, František ^b  

^a MASARYK UNIVERSITY   (Czech Republic)

^b CHARLES UNIVERSITY   (Czech Republic)

Author keywords

Component ensembles; Component based systems; Formal verification

Indexed keywords

COMPUTER SOFTWARE; RESEARCH; SEMANTICS;

COMPONENT BASED SYSTEMS; COMPONENT ENSEMBLES; COMPONENT SYSTEMS; ELECTRICAL VEHICLES; FORMAL VERIFICATIONS; VERIFICATION PROBLEMS; VERIFICATION PROPERTIES; VERIFICATION TECHNIQUES;

ELECTRIC PROPERTIES;

EID: 84958542994     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-07602-7_5     Document Type: Conference Paper

References (13)

1. Al Ali, R., Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo computational model-I., Technical Report D3S-TR-2013-01, D3S, Charles University in Prague. http://d3s.mff.cuni.cz/ publications (2013)
2. Barnat, J., et al.: DiVinE 3.0 - an explicit-state model checker for multithreaded C & C++ programs. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 863-868. Springer, Heidelberg (2013)
3. Barnat, J., Beneš, N., Černá, I., Petruchová, Z.: DCCL: verification of component systems with ensembles. In: Proceedings of CBSE '13. pp. 43-52. ACM, New York (2013)
4. Bures, T., et al.: DEECo - an ensemble-based component system. In: Proceedings of CBSE '13. ACM, New York (2013)
5. Cimatti, A., Tonetta, S.: A property-based proof system for contract-based design. In: Proceedings of SEAA 2012. IEEE CS, Los Alamitos (2012)
6. Hölzl, M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In: Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) SoftWare-Intensive Systems. LNCS, vol. 5380, pp. 1-44. Springer, Heidelberg (2008)
7. Keznikl, J., et al.: Towards dependable emergent ensembles of components: the DEECo component model. In: Proceedings of WICSA/ECSA'12. IEEE (2012)
8. De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A Language-Based Approach to Autonomic Computing. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25-48. Springer, Heidelberg (2012)
9. Patikirikorala, T., Colman, A., Han, J., Wang, L.: A systematic survey on the design of self-adaptive software systems using control engineering approaches. In: Proceedings of SEAMS 2012 (2012)
10. Rajkumar, R.R., Lee, I., Sha, L., Stankovic, J.: Cyber-physical systems: the next computing revolution. In: Proceedings of DAC'10. pp. 731-736. ACM, New York (2010)
11. Serbedzija, N., Reiter, S., Ahrens, M., Velasco, J., Pinciroli, C., Hoch, N., Werther, B.: Requirement specification and scenario description of the ascens case studies (2011), deliverable D7.1. http://www.ascens-ist.eu/ deliverables
12. Shoham, Y., Leyton-Brown, K.: Multiagent Systems: Algorithmic, Game-theoretic, and Logical Foundations. Cambridge University Press, Cambridge (2009)
13. Vardi, M., Wolper, P.: An automata-theoretic approach to automatic program verification (preliminary report). In: Proceedings, Symposium on Logic in Computer Science (LICS'86), pp. 332-344. IEEE Computer Society (1986)