Download Brochures
For more information about our projects,
please download the following documents:
R&D Brochure 2010 0.6Mb
Projects
We invest strongly in R&D, recognising its importance in bringing new technologies, products and processes to the market, as well as in incorporating innovation into our customers’ projects. This investment has already brought successful and innovative products and technologies to the market.
Such investment has already brought successful and innovative products and technologies to the market. A few illustrative R&D projects where Critical is or has been involved are:
EMMON
The EMMON Project is a collaborative venture within the 7th Framework Programme of the European Commission. EMMON will evolve through a partnership between Critical Software Technologies and eight other corporate and academic organisations: Instituto Superior de Engenharia do Porto, Intesys, Centro de Estudios e Investigaciones Tecnicas de Gipuzkoa, Critical Software S.A., Trinity College Dublin, Aristotle University of Thessaloniki, SESM S.c.a.r.l., Akting Ingeniaritza S.L.
EMMON intends to develop a functional prototype for the real-time monitoring of specific natural scenarios (related to the quality of urban life, forest environment, civil protection, etc.) using Wireless Sensor Network (WSN) devices. The project will provide the technology to effectively monitor and control an area of 50km2 , using thousands of wireless sensor nodes. EMMON will be a massive advance on the current state-of-the-art.
SHARE
The SHARE project aims to support the sharing of knowledge (sw evaluations, benchmarks, methodologies, etc.) and software code in the Embedded System Domain in a way that assures easy collaboration of the stakeholders. It is a collaborative venture within the 7th Framework Programme of the European Commission. SHARE will evolve through a partnership between Critical Software Technologies and seven other organisations, both corporate and academic: SESM S.c.a.r.l., CRIAI – Consorzio Campano di Ricerca per l’Informatica e l’Automazione Industriale, SIEMENS - IT Solutions & Services, Universidad Politécnica de Madrid, Università di Bologna, CIAOTECH Srl, ST MICROELECTRONICS.
DEPLOY
The focus of the DEPLOY project is on the exploitation of formal methods and understanding how the current state-of-the-art in this domain can be effectively used in the development of dependable systems. Event-B is the formal method language that has been selected.
SysML/ Safety / Model Driven Design
A discipline that is rarely incorporated into the design and often only considered towards the end of a project is the consideration of failures and their effects. Failure management has been seen as discipline that lives in its own space and, through set techniques, aims to reduce the risk of failure in a system to as low as possible.
There are two main approaches to failure analysis: FMEA, a component-based bottom-up approach and FTA, a top-down system-level failure approach. Although FMEA is tabular and FTA is graphical, analysis suggests that it would be reasonable to combine these two approaches to form a single reliability matrix.
When failures are considered later in the development process, it takes considerably more effort to retrospectively accommodate these into the design. Therefore, for Safety Critical systems where safety/reliability is paramount, considering minimising failures should be done as early as possible in the project. As SysML is the standard system modelling language, a means to integrate failure analysis would give us a system modelling language for safety management.
The issue is that data sources and tools used for Safety Management are not integrated with data sources and tools used for Systems Engineering. The end result is that the costs of development are high, timescales are longer and it becomes more difficult to gather the evidence needed for a safety argument.
At Critical we are looking at different ways of providing an integrated and standards-based design environment to assist the analysis, recording and documentation of safety engineering artefacts.
