Mit der zunehmenden Berichterstattung der Unternehmen erfolgt ein ebenso rasant ansteigender Trend die eigene Nachhaltigkeitsberichterstattung durch externe Dritte bestätigen zu lassen. Untersucht wird der Stand der Prüfung der Nachhaltigkeitsberichterstattung mittels Zusammenführung und Diskussion von 29 thematisch relevanten Studien aus dem Zeitraum 1996 bis 2009. Neben den Fragen nach Treibern und Hemmnissen der Entscheidung für eine Prüfung der Berichterstattung werden die Bedeutung und der Nutzen sowie die Charakterisierung der Prüfung (Prüfungstiefe, Prüfungsstandards, Prüfungsvermerk) und die Einflussfaktoren (Branche, Land, Prüfungsanbieter, Unternehmensgröße) auf die Prüfung eruiert. Frage-stellungen und Implikationen aus dem empirischen Forschungsstand finden Eingang in die empirische Untersuchung. Geleitet wird die Analyse von 86 Nachhaltigkeitsberichten des Energiesektors aus der GRI-Online-Berichtsdatenbank von der Fragestellung, ob die externe Prüfung der Berichterstattung einen Einfluss auf die qualitative und quantitative Ausgestaltung des Nachhaltigkeitsberichts ausübt und sie als Qualitätssignal für die Stakeholder relevant ist. Bewertet wird der Stand der Berichterstattung der ökologischen Umweltleistungsin-dikatoren mittels des GRI-basierten Bewertungsschemas des LEHRSTUHLS FÜR BETRIEBLICHE UMWELTÖKONOMIE der TU DRESDEN. Die Unterschiede in der Berichtsqualität und –quantität zwischen verifizierten und nicht verifizierten Nachhaltigkeitsberichten werden anhand der Varianzanalyse als signifikant und praktische bedeutsam geprüft. Verifizierte Nachhaltigkeitsberichte weisen eine bessere Performance auf als nicht verifizierte Berichte.

Mit der zunehmenden Berichterstattung der Unternehmen erfolgt ein ebenso rasant ansteigender Trend die eigene Nachhaltigkeitsberichterstattung durch externe Dritte bestätigen zu lassen. Untersucht wird der Stand der Prüfung der Nachhaltigkeitsberichterstattung mittels Zusammenführung und Diskussion von 29 thematisch relevanten Studien aus dem Zeitraum 1996 bis 2009. Neben den Fragen nach Treibern und Hemmnissen der Entscheidung für eine Prüfung der Berichterstattung werden die Bedeutung und der Nutzen sowie die Charakterisierung der Prüfung (Prüfungstiefe, Prüfungsstandards, Prüfungsvermerk) und die Einflussfaktoren (Branche, Land, Prüfungsanbieter, Unternehmensgröße) auf die Prüfung eruiert. Frage-stellungen und Implikationen aus dem empirischen Forschungsstand finden Eingang in die empirische Untersuchung. Geleitet wird die Analyse von 86 Nachhaltigkeitsberichten des Energiesektors aus der GRI-Online-Berichtsdatenbank von der Fragestellung, ob die externe Prüfung der Berichterstattung einen Einfluss auf die qualitative und quantitative Ausgestaltung des Nachhaltigkeitsberichts ausübt und sie als Qualitätssignal für die Stakeholder relevant ist. Bewertet wird der Stand der Berichterstattung der ökologischen Umweltleistungsin-dikatoren mittels des GRI-basierten Bewertungsschemas des LEHRSTUHLS FÜR BETRIEBLICHE UMWELTÖKONOMIE der TU DRESDEN. Die Unterschiede in der Berichtsqualität und –quantität zwischen verifizierten und nicht verifizierten Nachhaltigkeitsberichten werden anhand der Varianzanalyse als signifikant und praktische bedeutsam geprüft. Verifizierte Nachhaltigkeitsberichte weisen eine bessere Performance auf als nicht verifizierte Berichte.

In the recent trends, automated systems are increasingly seen to be embedded in human life with the increase of human dependence on software to perform safetycritical tasks like airbag deployment in automobiles to real-time mission planning in UAVs (Unmanned Aircraft Vehicles). The safety-critical nature of the aerospace domain demands for a software without any errors to perform these tasks. Therefore the field of computer science needs to address these challenges by providing necessary formalisms, techniques, and tools that will ensure the correctness of systems despite their complexity. DO-178C/EC-12C is a standard that governs the certification of software for airborne systems in commercial aircraft. The additional supplement DO- 333 enables us to use the formal methods in our technique of verifying the autonomous behaviour of UAV’s. The Mission Manager system is primarily responsible for the execution of behaviour sequence in online and offline mission planning of UAV. This work presents the process of software verification by making use of formal modelling using model checking of the Mission Manager component of ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) UAV by gaining advantages from a generic modelling approach. The main idea is to make use of the designed generic models into specific cases like ARTIS in our case. The generic models are designed using the ALFU(R)S (Autonomy Levels For Unmanned Rotorcraft System) framework that delineates the commonalities of several UAVs considered around the world which also includes the ARTIS UAV. Furthermore this work walks through every process involved in model checking like requirements extraction and documentation using a template based method, requirements specification using the temporal logics like LTL and CTL, developing a formal model using NuSMV as a model checking tool to analyze the requirements against the model for the Mission Manager component of MiPlEx (Mission Planning and Execution). Additionally as a validation approach, test sequences are generated by using trap properties or negation properties. This aids for a test generation approach by harnessing counterexample generating capabilities of the NuSMV Model Checker.

A novel Electro-Hydrostatic Actuator (EHA) prototype – designed to operate on subsea gate valves in deep and ultra-deep water – is analysed and qualified in terms of functionality under design and normative constraints. The prototype is assembled in a test bench for load control in a hyperbaric chamber where the high subsea environmental pressure can be emulated. The process variables under evaluation are monitored through a set of pressure and position sensors, which are part of the prototype design. The experimental results demonstrate a robust behaviour of the actuator concerning the imposed external pressure and load forces even with a forced limitation in its power input. Moreover, the prototype performs consistently throughout the entire endurance trial, asserting high reliability. With the results obtained, the subsea EHA concept is effectually eligible to a technology readiness level 4, according to the API 17N.

In the recent trends, automated systems are increasingly seen to be embedded in human life with the increase of human dependence on software to perform safetycritical tasks like airbag deployment in automobiles to real-time mission planning in UAVs (Unmanned Aircraft Vehicles). The safety-critical nature of the aerospace domain demands for a software without any errors to perform these tasks. Therefore the field of computer science needs to address these challenges by providing necessary formalisms, techniques, and tools that will ensure the correctness of systems despite their complexity. DO-178C/EC-12C is a standard that governs the certification of software for airborne systems in commercial aircraft. The additional supplement DO- 333 enables us to use the formal methods in our technique of verifying the autonomous behaviour of UAV’s. The Mission Manager system is primarily responsible for the execution of behaviour sequence in online and offline mission planning of UAV. This work presents the process of software verification by making use of formal modelling using model checking of the Mission Manager component of ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) UAV by gaining advantages from a generic modelling approach. The main idea is to make use of the designed generic models into specific cases like ARTIS in our case. The generic models are designed using the ALFU(R)S (Autonomy Levels For Unmanned Rotorcraft System) framework that delineates the commonalities of several UAVs considered around the world which also includes the ARTIS UAV. Furthermore this work walks through every process involved in model checking like requirements extraction and documentation using a template based method, requirements specification using the temporal logics like LTL and CTL, developing a formal model using NuSMV as a model checking tool to analyze the requirements against the model for the Mission Manager component of MiPlEx (Mission Planning and Execution). Additionally as a validation approach, test sequences are generated by using trap properties or negation properties. This aids for a test generation approach by harnessing counterexample generating capabilities of the NuSMV Model Checker.