Learning, knowledge and innovation are at the heart of CRITICAL Software's strategy, with a day-to-day impact on our activities. Driven by the desire to bring new technologies, products and services to market, as well as delivering more value to our customers, investment in R&D has typically amounted to 10% of company turnover, demonstrating our continuing commitment to applied research and innovation. If you’d like to discuss an idea, a new product, service, technology or a business proposal, please get in touch via

R&D Projects

CRITICAL Software’s focus is on turning knowledge and ideas into products and services that offer real value to our customers. R&D and innovation are a key part of our culture, often undertaken with partners in academia, research centres and technical industries, as well as through joint initiatives with customers.


We developed our Smart Meter Integrated Test Environment (SMITEn) to provide a highly flexible and modular test environment for energy providers and meter device manufacturers. SMITEn provides electronic testing by using built-in device emulators, which allows for test development and preparation without the need to have real devices in the loop.

Emergency Mobile Mesh

The Emergency Mobile Mesh (EMM) project is a communication protocol that allows for communication of emergency, security or defence users. EMM can also be seen as a data exchange protocol that allows for shared situation awareness, which allows an advantage in mission accomplishment assigned to those who use it. Finally EMM was validated via a demonstrator that uses both protocols in a typical case of support for emergency operations. The EMM project can be included in the research area of communication and information systems in critical systems. Thus, allowing a multi-purpose usage such as, civil protection, or security and defence. To learn more about the project, please go to:


The DEPLOY project makes major advances in engineering methods for dependable systems through the deployment of formal engineering methods. Industrial deployment of formal methods has not traditionally achieved its potential, because many formal engineering tools do not scale well, do not cope well with requirements evolution and do not fit well with existing engineering practices for dependable systems. DEPLOY focuses on industrial deployment problems including dependability, scalability and evolvability, using large simultaneous deployment in five major industrial sectors: aerospace, automotive, business information, chip and smart card design, and transport.


This ADVANCE project focuses on Advanced Design and Verification Environment for Cyber-physical System Engineering (ADVANCE). The aim is to develop a unified tool-based framework for automated formal verification and simulation-based validation of cyber-physical systems. CRITICAL Software’s links with industry, in particular with the energy sector, together with our expertise in providing solutions for mission and business critical information systems will not only be used to deploy the advanced engineering method in a real case study but also to provide requirements for the development of the toolset.


The VICS-FM (Verification and Integration of Closed Systems through Formal Methods) project is a proof of concept to formally verify the integration and functionality of closed systems, in particular Commercial off the Shelf (COTS) products.The approach brings together the formal language Event-B, mathematical proof theory and the Rodin toolset and provides the mechanism for creating abstract models of COTS systems and then verifying these system properties against operational requirements. The formal models can be reused in different military scenarios. The approach proposed represents a change in the use and successful integration of COTS products, using Formal Methods to guarantee their integration and functionality. The outcomes of VICS-FM will provide a solution that will increase the level of confidence in complex systems or solutions containing COTS systems. Moreover, it will support the production of safety cases by providing formal proofs of a system’s correctness.


This MELODIES project aims to develop eight new innovative and sustainable services, using Open Data, for users in research, government, industry and the public. A broad range of social areas are covered, including agriculture, urban ecosystems, land use management, marine information, desertification, crisis management and hydrology.


The CONCERTO project aims to deliver a multi-domain architectural framework for complex, highly concurrent and multi-core systems, where non-functional properties (including real-time, dependability and energy management) will be established for individual components, derived for the overall system at design time and preserved by construction and monitoring at run time.


The ICCM project aims to develop and validate an innovative software solution for an integrated condition and control monitoring system for advanced offshore renewable energy plants. Monitoring the usage, structural health integrity, operating and output parameters will provide the basis for Condition-Based Maintenance (CBM) and optimised performance.


The Seagull project aims to research and develop intelligent systems associated with existing unmanned autonomous vehicles (UAVs) that can significantly contribute to the generation of maritime situational awareness. These systems will address issues such as detection, identification and tracking of targets, recognising patterns of behaviour and planning and commanding and controlling collaborative missions with several autonomous vehicles. The project will be led by CRITICAL Software, in co-ordination with the Portuguese Air Force, the Faculty of Sciences and Technology of the University of Oporto and the expertise in computer and robot vision of ISR/IST Lisboa. The Portuguese Navy will also be part of the consortium, as the principal beneficiary of the knowledge acquired through the project.


The FEED (FreE Energy Data) project aims to develop and provide a web platform for monitoring renewable energy production, centred on micro- and mini-generation. The FEED platform will be built based on csEMS (CRITICAL Software Energy Management System), which will support access to new markets and clients.

ForTE360º - 360º FORecasting for TELecommunications

The ForTE360º project aims to develop an innovative software system centred on forecasting, with a high commercial value for telecom operators worldwide. Taking advantage of the availability of terabytes of data from telecom companies, ForTE360º addresses one of the ‘big data’ issue these companies face by providing the ability to produce accurate forecasts of the peak and normal behaviour of different components.


The MOBI.Europe project aims to promote and guarantee the full integration and interoperability of a cloud of ICT applications associated with electro-mobility services that have been developed and are in the process of being tested. MOBI.Europe is built on electro-mobility initiatives in Portugal, Ireland, Spain and the city of Amsterdam. The project will be capable of delivering comprehensive and innovative solutions to foster greater electro-mobility among European citizens.


The CECRIS project aims to take a step forward in the growing field of development, verification and validation and certification of critical systems. The project focuses on the more difficult/important points of (safety, efficiency, business, etc.), verification and validation and certification process. The scientific objectives of the project are to study both the scientific and industrial state of the art methodologies for system development and the impact of their use in the verification and validation and certification of critical systems. Moreover, the project aims to develop strategies and techniques supported by automatic or semi-automatic tools and methods for such activities, whose cost-quality achievements are highly predictable, in order to tie costs of application of techniques to the RAMS attributes level achieved by the product being tested. The project will draw up guidelines to support engineers during the planning of the verification and validation phases.


The BlueEye project aims to investigate and develop technology that will increase efficiency and effectiveness in maritime safety, security and environmental protection operations. The project will be led by CRITICAL Software and will include the operational expertise of the Portuguese Navy and scientific expertise from the Faculty of Engineering, Oporto University. To learn more about the project, please go to:

GIRE - Integrated Management of Energy Resources

The GIRE project aims to develop mechanisms to support multi-criteria, decision-based system integration of intelligent building management, contract management and energy generation management, allowing an overview of energy resources and identifying several possible ‘optimal-use’ solutions, as well as reducing the costs of consumption.


The MaSSGP project aims to develop a Genetic Programming (GP) system that improves state-of-the-art methods for classification and regression problems, to integrate the system in an industrial decision support tool and to use the system to generate new and insightful models for maritime safety, security and environmental protection applications.


The mobiOS project aims to provide a shared services platform that is able to easily integrate existing IT solutions, cope with different types of systems, hardware or software solutions, enhance the capacity to create an ecosystem of IT solutions for mobility and, by removing the technological barriers, promote the entry of new players into the sector and enhance the creation of new business models.


Mobicar Info is a sub-project of TICE Mobilidade (PPS#9) and aims to develop an infotainment system for the Mobicar vehicle, a Portuguese electric vehicle prototype currently under development. With this solution, constructed using the Visteon InVehicle Infotainment platform, the user will be able to monitor battery charge and search for and reserve a nearby Mobi.e network charging station. To learn more about the project, please go to:

EMM - Energy Mobile Mesh

The EMM project proposes a support system for emergency operations, with potential clients in Brazil, the United Kingdom and Germany, and other countries. The Portuguese Army is another partner. This project involves the development of a prototype, using two typical supports for emergency operations protocols: a communications protocol enabling communication between emergency, security or defence operators and a data exchange protocol that allows shared context analysis (an asset when carrying out tasks that are assigned to these operators).


The goal of the SIGEDI project was to develop a novel way of providing information for Smart Buildings, by providing the underlying communication, recollection and actuation mechanism for efficient management. The use of low-cost wireless sensor nodes made the technology cost-effective and provided a valid alternative to more traditional cabled options. To learn more about the project, please go to:


The goal of the NEMO&CODED project was to represent an ITEA2 initiative and target the definition and development of a web-based infrastructure to monitor and manage energy-related devices, taking into consideration energy generation (including generation based on renewal sources), distribution and consumption. To learn more about the project, please go to:


The aim of the CESAR project was to introduce significant innovation to improvable systems engineering disciplines such as requirements engineering and component-based engineering, applied to design space exploration comprising multi-view, multi-criteria and multi-level architecture trade-offs. To learn more about the project, please go to:


The goal of the csSECURE project was to create a solution for information protection focused on unstructured data, based on an information security methodology sustained by the MultiLevel operating mode. csSECURE II was jointly developed by CRITICAL Software, SA (head of the consortium) and the University of Minho, aiming to support the sustained expansion of innovation capacity by encouraging co-operation between R&D institutions and companies in the area of computer security.


The goal of the EMMON project was to develop a functional prototype for the real-time monitoring of specific natural scenarios, such as the quality of urban life, the forest environment and civil protection, using Wireless Sensor Network (WSN) devices. The project was a collaborative venture within the 7th Framework Programme of the European Commission and evolved from a partnership between CRITICAL Software, SA and eight other organisations, both corporate and academic: Instituto Superior de Engenharia do Porto, Intesys, Centro de Estudios e Investigaciones Tecnicas de Gipuzkoa, CRITICAL Software Technologies, Trinity College Dublin, Aristotle University of Thessaloniki, SESM S.c.a.r.l. and Akting Ingeniaritza S.L. To learn more about the project, please go to:


The aim of the AMBER iTest project was to develop a set of tools and techniques to automate specification-based GUI testing, solving the shortcomings found in previous work and to show the approach’s applicability in industrial environments. To learn more about the project, please go to:


The goal of the Safe Luggage project was to enable the location and tracking of luggage by an embedded information system. The system was tamper-proof, compliant with international standards and incorporated new technologies. Pilot tests were conducted in Portuguese airports, where efforts to lower baggage mishandling rates provided a good environment for validating the proposed solution. To learn more about the project, please go to:


The goal of the PULSE project was to develop a real-time business intelligence disruptive product, FeedZai Pulse. The product generated continuously updated business information that allowed decision-makers to monitor their enterprises, react to new information in real-time and, ultimately, maximise their businesses’ potential.


The aim of the IntelliSHM project was to develop an integrated SHM system, with a reduced number of sensors, embedded solutions, optimum location of sensors, sensor fault detection by multi-scale methods and improved diagnostic and prognostic tools. It included the development of a software package for designing sensor composite panels for reliable detection of impacts. The proposed approach was based on the customisation of proprietary VS2TM technology, to develop enhanced diagnostics and prognostics capabilities.


The aim of the SAFER project was to prepare for the operational implementation of the Emergency Response Core Service (ERCS), based on the recommendations of the implementation group and supported by the outcomes of previous projects (PREVIEW, RISK-EOS, RESPOND, TERRAFIRMA, LIMES and BOSS4GMES), with both continuity of the core partnership and an extension of geographic coverage, integrating existing capacities at the European level.


The pSHIELD project aimed to address security, privacy and dependability (SPD) in the context of Embedded Systems (ES) to be “built in” rather than “add-on” functionalities, proposing and setting up the first step toward SPD certification for future ES.


The goal of the EVOLVE (Evolutionary Validation, Verification and Certification) project was the creation of a methodological framework for early verification and validation of evolutionary products through the accredited/certified integration of each iteration and/or component in a Model Driven Engineering (MDE) context. The project was developed by the consortium leader, CRITICAL Software and the University of Minho, with the intent of sustainably developing innovation by co-operation between R&D institutions and companies appointed for Embedded Systems. To learn more about the project, please go to:


The MAGES project aimed to develop a software system to demonstrate the benefits of using GIS, GPS and EGNOS technologies for the management of forest fire-fighting activities. To meet the project objectives, CRITICAL Software established partnerships with Aliança Florestal and AFOCELCA to implement a Command and Control Platform that was tested in two forest fire simulation scenarios.


The purpose of the SPACE AQUA (Automated Qualification Framework for COTS Components used in Space Applications) project was to develop a platform for Automated Software Space Qualification in an integrated environment for qualification and certification of software applications for the aerospace industry. The first contacts were made between CRITICAL Software, acting as lead, the NASA IVV centre, the University of Coimbra and the University of West Virginia.


The SARAe project aimed to support the technical and operational needs of occupational activities covered by the Directive 2004/35/CE, 21st April, ELD (Environmental Liability Directive) in an efficient and flexible way. This project was co-promoted by CRITICAL Software and E.Value. To learn more about the project, please go to:


The ITEV project resulted from collaboration with the Portuguese National Mobility Program (MOBI.E), with the aim of researching and developing an integrated and intelligent electric vehicle (EV) charging system, covering the interface between the EV and the smart grid, as well the intelligent management of all system components. It was developed by CRITICAL Software, EFACEC (consortium leader), INTELI, CEIIA and Novabase.


The P-FOUND project aimed to promote scientific research and technological and prototype development in the computing, storage and distribution of data and the simulation of protein folding and unfolding. The project was developed by CRITICAL Software, the Centre for Neuroscience and Cell Biology, the University Of Ulster School Of Biomedical Sciences, the University of Minho and the Faculty of Science and Technology of the University of Coimbra.


The PREMFIRE (Generic Platform of Emergency Management) project aimed to provide powerful multifunctional decision support in emergency management command and control. This R&D project, developed by CRITICAL Software, proposed an emergency management system that allowed the management of a hierarchy of command, the management of information associated with the occurrence of different phases and interoperability and routes analysis.


The WISE project, developed by CRITICAL Software, aimed to create a general solution able to support and manage different process operations, based on high maturity processes.


The Reuse & Estimate project, executed by CRITICAL Software, aimed to identify strategies, define processes and develop tools for efficient software reuse and estimation methodologies. Additionally, the project focused on knowledge construction in software reuse and estimation, through research and experimental development, to create new processes and systems, improving CRITICAL Software’s planning, design and software development activities.


The CRITICAL STEP project (Critical Software Technology for an Evolutionary Partnership) aimed to establish the basis for a long-term strategic research collaboration between the partners involved in the project. Partners felt they needed to share their knowledge and use existing synergies to devise long-term strategic bases to deal with the complexity of the next generation of SCSs, resist market competition and win the challenge of developing new safe technologies and standards. The partners in this project were the CINI/UoN ITEM Laboratory “Carlo Savy” of the CINI Consortium, the University of Naples (Italy), CRITICAL Software (Portugal), the Faculty of Science and Technology of the University of Coimbra (Portugal) and SESM S.c.a.r.l. (Italy). To learn more about the project, please go to:


CRQNOS was a project funded by QREN within the scope of the Factors of Competitiveness operational programme, contracted with IAPMEI through the Financial Incentives Concession. The main objective was the development of a unit that was exclusively focused on defining the best practices in project management and assuring high levels of custom.