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 firstname.lastname@example.org
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.
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: http://www.criticalsoftware.com/en/emm.
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.