Search:       RSS, Atom

Site navigation:

SaCCo - Safe and Comprehesible Software Components

Welcome to the web of the SaCCo – Safe and Comprehensible software Components project group which is involved in research of software components and their modeling, substitutability and versioning.

We concentrate on fundamental principles and strive for a practical use of the research results, at present focusing especially on the OSGi platform for its clean design and industrial importance. Some ideas are also being researched on the CoSi component model as our sandbox.

Our group exists from the year 2004, and currently has 5 graduate students and 3 PhD students:

  • Dr. Premek Brada – group lead
  • Kamil Ježek, Jaroslav Šnajberk, Lukáš Holý – PhD students
  • former members – Jaroslav Bauml, Lukáš Valenta

Follow sacco_kiv on Twitter

Current Work

We are working on the following projects:

We also archive the descriptions of some previous projects. For an artistic view of what we’re doing, see the Wordle keyword map.

Resources

Other Sacco’s

  • Bruno Sacco of Mercedes-Benz E500 fame
  • Joe Sacco who won several awards for comics-style reportages from former Yugoslavia and Palestine.
---

Publications

The most important publications from the DSS research group are divided into categories and listed here.

Software Components

  • Jezek K et al. Software Components Compatibility Verification Based on Static Byte-Code Analysis. Proceedings of 39th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA 2013), Santander, Spain. IEEE Computer Society, 2013
  • Snajberk J and Brada P. ENT: A Generic Meta-Model for the Description of Component-Based Applications. Proceedings of FESCA 2011 (to appear in Electronic Notes on Theoretical Computer Science, Elsevier).
  • Jezek K and Brada P. – Towards Context Independent Extra-functional Properties Descriptor for Components. FESCA 2010, Electronic Notes on Theoretical Computer Science.
  • Brada P. – A Look at Current Component Models from the Black-box Perspective Proceedings of Euromicro SEAA 2009, IEEE CS Press.
  • Bauml J and Brada P – Automated Versioning in OSGi: a Mechanism for Component Software Consistency Guarantee Proceedings of Euromicro SEAA 2009, IEEE CS Press.
  • Brada P and Valenta L – Practical Verification of Component Substitutability Using Subtype Relation. Proceedings of Euromicro 2006, IEEE CS Press.
  • Brada P. – Metadata Support for Safe Component Upgrades. In Proceedings of Compsac’02, the 26th Annual International Computer Software & Applications Conference, Oxford, England, 26-29 August 2002. IEEE CS Press 2002.
  • Andreasson S.A.; Brada P.; and Valdman J. – Component-based Software Decomposition of Flexible Manufacturing Systems. In Proceedings of ICCC’2000, Faculty BERG, Technical University Kosice, Slovak Republic.

Discrete Simulation and Dependability

  • Herout P.; Racek S.; and Hlavička J. – Model-Based Dependability Evaluation Method for TTP/C Applications. EDCC-4 – Fourth European Dependable Computing Conference, Toulouse, France, October 2002, pp. 271-282, ISBN 3-540-00012-7.
  • Ademaj A.; Grillinger P.; Herout P.; and Hlavička J. – Fault Tolerance Evaluation Using two Software Based Fault Injection Methods. In Proc. IEEE International On-Line Testing Workshop IOLTW 2002, pp. 21-25, Isle of Benedor, France, ISBN 0-7695-1641-6.
  • Hlavička J. and Racek S. – C-Sim – The C language Enhancement for Discrete-Time Simulation. DSN/IPDS2, Washington, U.S.A., June 200.
  • Kačer J. – Discrete-Time Process-Oriented Simulation with J-Si.
  • Paska M.; Dvorak P.; Racek S.; Janecek E. – Model Based Support for Life Cycle Management of I&C Systems. EUROCON 2007 – The International Conference on “Computer as a tool“., Warsaw, Poland, September 2007, pp. 2217-2220, ISBN 1-4244-0813-X.
  • Potuzak T.; Herout P. – Use of Distributed Traffic Simulation in the JUTS Project. EUROCON 2007 – The International Conference on “Computer as a tool“., Warsaw, Poland, September 2007, pp. 2250-2255, ISBN 1-4244-0813-X.
  • Cirtek P.; Racek S. – Performance Comparison of Distributed Simulation Using PVM and MPI. EUROCON 2007 – The International Conference on “Computer as a tool“., Warsaw, Poland, September 2007, pp. 2238-2241, ISBN 1-4244-0813-X.
  • Koutny T.; Safarik J. – Simulating Distributed Applications in an Active Network. Proceedings of the 6th EUROSIM Congress on Modelling and Simulation Vol. 2: Full Papers, Ljubljana, Slovenia, September 2007, ISBN 978-3-901608-32-2.
  • Hartman D.; Herout P. – Construction of a Hybrid Traffic Model Based on JUTS Cellular Model. Proceedings of the 6th EUROSIM Congress on Modelling and Simulation Vol. 2: Full Papers, Ljubljana, Slovenia, September 2007, ISBN 978-3-901608-32-2.
---

Projects

Currently active projects

Funded by grant agencies

Informal projects and long-term efforts

We also guarantee the research in the area of reliable software systems, part of the project NTIS to build an European centre of excellence at our faculty.

List of past projects

---