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
Current Work
We are working on the following projects:
- Subtype-based compatibility of components uses a type representation of component surface (public interface) to ensure type consistency of component applications, both on inter-component wirings and during run-time component updates. The results have been successfully applied for the OSGi framework.
- Contextual component compatibility checking, which captures the component “environment” and uses this information during type-based substitutability verification. Implementation has been created for the OSGi technology which uses framework interfaces to obtain the contextual information.
- Investigate and practically use reconstruction of Java types contained in a compiled bytecode, using reflection and bytecode analysis. The purpose is to provide suitable representation of component interface for the bundle compatiblity checking process.
- Analyse the role of the black-box property of components and the level of its support in current component models, leading to the design of our experimental component model CoSi. It is also used in compatibility research including the aspects stemming from the dynamic type system of scripting languages (Groovy in this case).
- Extra-functional properties for components where the focus is both on the way how to specify them in a straightforward way (think “usability”) and use them in component compatibility checking.
- Dynamic visualization of component-based applications, using the implementation of the ENT meta-model as application structure representation. The main goal is to provide such alternative to classic UML component representation which is dynamic, clearer and offers classification of interface elements.
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.
— By Premek Brada on 22 únor 2011, 09:28
Publications
The most important publications from the DSS research group are divided into categories and listed here.
Software Components
- 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.
— By Premek Brada on 7 listopad 2011, 11:11
Projects
Currently active projects
Funded by grant agencies
- Methods of development and verification of component-based applications using natural language specifications (Czech Science Foundation (GACR) 103/11/1489, 2011-2013)
- Traffic Control in the Centers of Historical cities (Grant of Ministry of Transportation No. 1F43A/003/120 solved by Institute of Information Theory and Automation AV CR)
Informal projects and long-term efforts
- The SaCCo (Safe and Comprehensible Components) effort which explores modeling, typing and substitutability in software components
- Communication Protocol for Distributed Traffic Simulation
- Smart active node
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
- Methods and models for consistency verification of advanced component-based applications (GACR 201/08/0266, 2008-2010)
- Methods and tools for verification of embedded computer system fault tolerance — GAČR Grant 102/03/0672.
- Research Plan – in Czech only – an internal project with the basic aim to improve the quality of research and development of new methods and tools.
- FIT (2001-2002) – Fault Injection for TTA, an EU project from the 5th Framework programme. Our research team verified a new FT communication protocol using simulation based fault injection.
- Gemini (2001) – Object-based model of parallel computation.
- SOFA (2000-2001) – specification-based testing, run-time tracing and debugging of component-based applications.
— By Tomáš Potužák on 22 prosinec 2011, 12:36