Certifications of Critical Systems – The CECRIS Experience

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems – The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases

Certifications of Critical Systems – The CECRIS Experience

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems – The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases

Air Traffic Management Abbreviation Compendium

As in all fields of work, an unmanageable number of abbreviations are used today in aviation for terms, definitions, commands, standards and technical descriptions. This applies in general to the areas of aeronautical communication, navigation and surveillance, cockpit and air traffic control working positions, passenger and cargo transport, and all other areas of flight planning, organization and guidance. In addition, many abbreviations are used more than once or have different meanings in different languages. In order to obtain an overview of the most common abbreviations used in air traffic management, organizations like EUROCONTROL, FAA, DWD and DLR have published lists of abbreviations in the past, which have also been enclosed in this document. In addition, abbreviations from some larger international projects related to aviation have been included to provide users with a directory as complete as possible. This means that the second edition of the Air Traffic Management Abbreviation Compendium includes now around 16,500 abbreviations and acronyms from the field of aviation

A conceptual framework for integrating the home into patient-centered healthcare processes: Analysis, solution strategies and realization using health enabling technologies

Assistierende Gesundheitstechnologien (AGT) und technische Assistenzsysteme, auch ohne Medizinbezug, können das altersunabhängige Bedürfnis nach komfortablem und sicherem Wohnen in Wohlbefinden gewinnbringend adressieren. Die Einbindung der Wohnung in dieser gesamtheitlichen Perspektive ist nicht beschrieben und die Akteure der entsprechenden Professionen können, aufgrund fehlenden Wissens über sozio-technische Potentiale der Wohnung, im Aufbau von Versorgungsszenarien nicht auf ihre Fähigkeiten zurückgreifen. Ziel der Dissertation ist es, einen Rahmen aus Methoden, Lösungsstrategien und einem exemplarischen Integrationsszenario zur Einbindung der Wohnung in medizinische Versorgungsprozesse zu geben und dabei insbesondere ihre Funktion als neuartigen Gesundheitsstandort zu betrachten. Auf Basis eines sozi-technischen Rollenmetamodells wurden insgesamt elf Rollen herausgearbeitet. Die Wohnung als Messinstrument, Datenspeicher, Informationsquelle, Entscheidungsunterstützungssystem, Diagnostisches Instrument, Therapeut und Aktor, Sozialer Integrator, Präventionsinstrument, Pflegesystem, Gesundheitsmanager und Forschungssystem. Die Rollenhandlungen lassen sich aus den sechs Realisierungsprojekten in die Wirkungsfelder Komfort & Sicherheit, umfassende Pflege und erweiterte medizinische Versorgung mit den Methoden Infrastruktur, Dienstleistung und Netzwerk einteilen, eingefasst von den Prinzipien Öffentlichkeit, Nachhaltigkeit und Wissenschaft. Diese drei Dimensionen bilden das Rahmenkonzept für die "Modellstadtinitiative Braunschweig: Vision Wohnen 2031" als exemplarisches Integrationsszenario und Strategiedokument. Die Instanziierung zeigt, die Wohnung gibt Raum, handelt und verbindet. Sie schafft Beziehungen zwischen ärztlichen, pflegerischen und sozialen Akteuren inter- und multidisziplinärer Versorgungsprozesse mit dem Ziel eines mehrdimensionalen, ganzheitlichen Wohlbefindens. Sie ist transprofessionaler Akteur und Handlungsraum über die medizinische Domäne hinaus zur synergetischen Erfüllung von Zielen anderer Gewerke, wie der Energieoptimierung oder dem Gebäudeschutz.Health-enabling Technologies (HET) and assistive devices, even without medical purpose, can profitably address age-independent well-being in terms of comfortable, safe and healthy living. The integration of homes in this holistic perspective is not described and the actors of the corresponding professions cannot utilize the homes' abilities in the development of care scenarios due to a lack of knowledge about socio-technical potentials of homes. Objective of this dissertation is to provide a framework of methods, strategies and an exemplary integration scenario for integration of the home into healthcare processes and, in particular, to consider its function as a novel healthcare location. Based on a socio-technical role metamodel, a total of eleven roles were identified from six healthcare process models. The home as measuring instrument, data store, information source, decision support system, diagnostic instrument, therapist and actuator, social integrator, prevention system, nursing system, carepath manager and research system. The role actvities can be divided from the six implementation projects into the three application domains comfort & safety, comprehensive care and extended medical care, using the methods infrastructure, service and network, framed by three principles openness, sustainability and science. These three dimensions form the conceptual framework for the "Modellstadtinitiative Braunschweig: Vision Wohnen 2031" as exemplary integration scenario and strategy document. The instantiation shows, that the home gives space, takes action and connects. It creates relationships between medical, nursing and social actors in interdisciplinary and multidisciplinary care processes with the aim of multidimensional, holistic well-being. It is a transprofessional actor and room for action beyond the healthcare domain to synergistically fulfill goals of other domains, such as energy optimization or building protection

CACIC 2015 : XXI Congreso Argentino de Ciencias de la Computación. Libro de actas

Actas del XXI Congreso Argentino de Ciencias de la Computación (CACIC 2015), realizado en Sede UNNOBA Junín, del 5 al 9 de octubre de 2015.Red de Universidades con Carreras en Informática (RedUNCI

Anales del XIII Congreso Argentino de Ciencias de la Computación (CACIC)

Contenido: Arquitecturas de computadoras Sistemas embebidos Arquitecturas orientadas a servicios (SOA) Redes de comunicaciones Redes heterogéneas Redes de Avanzada Redes inalámbricas Redes móviles Redes activas Administración y monitoreo de redes y servicios Calidad de Servicio (QoS, SLAs) Seguridad informática y autenticación, privacidad Infraestructura para firma digital y certificados digitales Análisis y detección de vulnerabilidades Sistemas operativos Sistemas P2P Middleware Infraestructura para grid Servicios de integración (Web Services o .Net)Red de Universidades con Carreras en Informática (RedUNCI

Anales del XIII Congreso Argentino de Ciencias de la Computación (CACIC)

Contenido: Arquitecturas de computadoras Sistemas embebidos Arquitecturas orientadas a servicios (SOA) Redes de comunicaciones Redes heterogéneas Redes de Avanzada Redes inalámbricas Redes móviles Redes activas Administración y monitoreo de redes y servicios Calidad de Servicio (QoS, SLAs) Seguridad informática y autenticación, privacidad Infraestructura para firma digital y certificados digitales Análisis y detección de vulnerabilidades Sistemas operativos Sistemas P2P Middleware Infraestructura para grid Servicios de integración (Web Services o .Net)Red de Universidades con Carreras en Informática (RedUNCI