18 research outputs found

    Software safety verification in critical software intensive systems

    Get PDF

    INTER-ENG 2020

    Get PDF
    These proceedings contain research papers that were accepted for presentation at the 14th International Conference Inter-Eng 2020 ,Interdisciplinarity in Engineering, which was held on 8–9 October 2020, in Târgu Mureș, Romania. It is a leading international professional and scientific forum for engineers and scientists to present research works, contributions, and recent developments, as well as current practices in engineering, which is falling into a tradition of important scientific events occurring at Faculty of Engineering and Information Technology in the George Emil Palade University of Medicine, Pharmacy Science, and Technology of Târgu Mures, Romania. The Inter-Eng conference started from the observation that in the 21st century, the era of high technology, without new approaches in research, we cannot speak of a harmonious society. The theme of the conference, proposing a new approach related to Industry 4.0, was the development of a new generation of smart factories based on the manufacturing and assembly process digitalization, related to advanced manufacturing technology, lean manufacturing, sustainable manufacturing, additive manufacturing, and manufacturing tools and equipment. The conference slogan was “Europe’s future is digital: a broad vision of the Industry 4.0 concept beyond direct manufacturing in the company”

    Regulating a revolution : small satellites and the law of outer space

    Get PDF
    Chapter 1 of the study includes introduction to small satellites activities, it explains and explores what are small satellites, what applications such satellites support, and introduces important terminology. Chapter 2 summarises and analyses the applicability of the existing treaty law to small satellites operations, as well as recent discussions and developments in international bodies such as UN COPUOS and the ITU with respect to international regulation of small satellites activities. Chapter 3 includes a deep legal analysis of State responsibility for non-governmental small satellites activities. It refers to Article VI of the Outer Space Treaty as well to basic concepts as “nationality” in general international law. It analyses case studies which illustrates the legal challenges relating to the application of Article VI in the context of small satellites. Chapter 4 focuses on analysing the applicability of the Liability Convention in relation to small satellites, especially with respect to “fault liability” in outer space. Chapter 5 addresses the legal concept of registration of space objects in the space treaties, and “jurisdiction and control”. It analyses the problematic legal relations between State responsibility, the liability of the launching State and the ability of the latter to exercise jurisdiction and control as the State of registry, in the case of non-governmental small satellites. Chapter 6 summarises the findings of the study and includes analogies to cases where justification to treat certain small scale activities in a special manner was found, referring to the de minimis doctrine. It further includes recommendations and a concrete solution to deal with the legal difficulties which were identified, namely, a draft Optional Protocol to the Outer Space Treaty, aimed to supplement the treaty and internationally regulate non-governmental small satellites activities in more detail.Exploring the Frontiers of International La

    Design Development Test and Evaluation (DDT and E) Considerations for Safe and Reliable Human Rated Spacecraft Systems

    Get PDF
    A team directed by the NASA Engineering and Safety Center (NESC) collected methodologies for how best to develop safe and reliable human rated systems and how to identify the drivers that provide the basis for assessing safety and reliability. The team also identified techniques, methodologies, and best practices to assure that NASA can develop safe and reliable human rated systems. The results are drawn from a wide variety of resources, from experts involved with the space program since its inception to the best-practices espoused in contemporary engineering doctrine. This report focuses on safety and reliability considerations and does not duplicate or update any existing references. Neither does it intend to replace existing standards and policy

    Towards and industrial ecosystem for power MEMS

    Get PDF
    Thesis (S.M.M.O.T.)--Massachusetts Institute of Technology, Sloan School of Management, Management of Technology Program, 2007.Vita.Includes bibliographical references.This thesis is concerned with the commercial applications of MEMS (Micro-Electro-Mechanical Systems) manufacturing processes to advanced energy technologies. This field of engineering has come to be known as Power MEMS. Four such technologies are singled-out for detailed consideration, based on the efforts that have gone into demonstrating the benefits which MEMS has to offer them. The first are micro engines or turbines which generate of order 10-100 Watts of power by driving an electric generator, as exemplified by the famous MIT microturbine. The second are micro fuel cells, electrochemical devices which air oxidize chemical fuels, particularly the direct methanol fuel cell which operates at modest temperatures and hence is suitable for use in portable electronics. The third are solid-state devices which convert heat into electricity via either the Seeback (thermocouple) or photovoltaic effects, or else via thermionic emission. Finally, we consider devices which scavenge vibrational or electromagnetic energy from their environment, and are an attractive means of powering remote autonomous sensors or medical implants such as pacemakers.(cont.) Following a survey of recent commercial activity in these technologies, we consider the markets they may serve, the economics of their MEMS-based production, and possible business models for their commercialization. Detailed case studies are presented of two recent startups, one of which is developing a heat-to-electricity conversion system based on the photovoltaic effect, and the other of which is studying a novel MEMS device which would use springs made out of carbon nanotubes to store energy. The conclusion is that the time is ripe for a power MEMS technology roadmap which can inspire energy technology companies to work together towards an industrial ecosystem like that now seen in the semiconductor industry. Specifically, we propose that by using MEMS as a unifying technology, it will become possible to easily buy, sell and trade knowledge, personnel, components and foundry services, facilitating experimentation with new products and business models and greatly accelerating the development of power MEMS itself. This may in turn lead to solutions to some of the pressing energy and environmental problems which society now faces.by Timothy Franklin Havel.S.M.M.O.T

    Safety and Reliability - Safe Societies in a Changing World

    Get PDF
    The contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management - mathematical methods in reliability and safety - risk assessment - risk management - system reliability - uncertainty analysis - digitalization and big data - prognostics and system health management - occupational safety - accident and incident modeling - maintenance modeling and applications - simulation for safety and reliability analysis - dynamic risk and barrier management - organizational factors and safety culture - human factors and human reliability - resilience engineering - structural reliability - natural hazards - security - economic analysis in risk managemen

    NASA Tech Briefs, Spring 1985

    Get PDF
    Topic include: NASA TU Services; New Product Ideas; Electronic Components and Circuits; Electronic Systems; Physical Sciences; Materials; Life Sciences; Mechanics; Machinery; Fabrication Technology; Mathematics and Information Sciences

    Reliability Abstracts and Technical Reviews January-December 1969

    Get PDF
    No abstract availabl
    corecore