CIn-TRUST
CIn-TRUST
About
People
Projects
Collaborations
Contact
Formal analysis of blockchain components | Current Project
This project investigates different applications of formal analysis in the context of blockchain systems.
Model transformation from RoboSim to network of timed automata for UPPAAL | Current Project
This project investigates how to transform from RoboSim models to timed automata.
RoboTIC@ – Information and communication technology for robotics and applications | Current Project
The main objective of this project is to create a systematic and rigorous methodology to specify, verify, design and implement robotic applications.
A model-based framework for compositional verification and testing of reactive systems | Current Project
This project proposes an integrated framework for the verification and testing of reactive systems.
National Institute of Science and Technology in Software Engineering | Current Project
INES (National Institute of Science and Technology for Software Engineering) has as a global theme to promote software development with high productivity by systematically applying the factory philosophy.
Software validation and test automation | Current Project
This project is an R&D cooperation with Motorola Mobility.
Compositional modelling, verification and testing of systems with applications in the aerospace industry | Concluded in 2018
In this project, we propose the systematisation of various aspects of the development of complex systems, particularly, with an emphasis on Systems of Systems (SoS).
COMPASS – Comprehensive Modelling for Advanced Systems of Systems | Concluded in 2014
COMPASS will augment existing industry tools and practice with an underlying modelling language in which Systems of Systems (SoS) architectures and contracts can be expressed.
Combining formal methods and testing in the construction of real-time embedded systems | Concluded in 2010
This project aims to combine the use of formal methods and model-based testing in the context of real-time embedded systems.
DARE-COOP – Development and Applications of a Refinement Calculus for Object-Oriented Programming | Concluded in 2005
The main goal of this project is to consolidate a refinement calculus for object-oriented languages such as Java, taking into account previous works, such as Morgan’s refinement calculus.
»
