12 research outputs found
A PhD research project on safety risk assessment of complex changes to railway infrastructure and vehicles
This study investigates the risk assessment of railway changes in an interconnected environment. Systems are a collection of subsystems and parts, and this thesis develops a new method, the Combined Assessment Method (CAM), to analyse them. CAM potentially applies to many industries, including aviation, defence and nuclear, where there is a requirement to assess system safety objectively. The railway is a specific case of a closely coupled socio-technical system of critical physical interfaces between systems and a stringent example of systems in other industries.
The Author has carried out: an assessment of current techniques, a review of relevant literature, a survey of risk assessment practitioners, an appraisal of current methods, and a review of accident data to identify current accident characteristics.
CAM incorporates established assessment techniques to perform subsystem analysis. Subsystem results are combined using systems engineering methods in a novel way producing an overall risk assessment for a system, which incorporates emergent behaviours.
The assurance of CAM is through a case study and two test cases. It uses safety performance, ease of use, and economic saving criteria to judge success. Illustrative studies include a metro system, indicating that CAM is potentially a process and is application-independent. Furthermore, test cases illustrate that CAM combines the risks from multiple parts of a whole system into overall risks.
Finally, test cases measure the verification through a match between the findings of official incident reports and the CAM output.
This thesis is the first step to creating CAM as a fully-fledged system safety risk analysis method. Further work is proposed to take CAM forward and address identified weaknesses. Finally, suggestions have been made for further work to âproductionizeâ CAM to increase the likelihood that practitioners in the field will use CAM
TyöympĂ€ristöt NewSpace-tuotekehityksessĂ€ â Tapaustutkimus nanosatelliittiyrityksessĂ€
Workspaces, along with work culture, are constantly evolving. The ongoing trend of creating inviting working environments and increasing productivity by fulfilling individual needs is reaching to all the fields, including the most conventional ones, such as space industry. During the past few decades, this traditionally inflexible and conservative industry has seen an emerging transition towards agile and market-driven direction. In the professional world, this growing phenomenon of commercialisation and privatization of space technology is referred as NewSpace.
The purpose of this study was to determine what kind of working environment supports NewSpace. To get there, differences between conventional space industry and NewSpace were highlighted, serving as a basis of needs for entrepreneurial space activities. Additionally, the concept of working environment was analysed to determine the attributes which create a desirable basis for working. These needs and desirables provided a framework of working environment design for a NewSpace company.
The study starts with a comprehensive literature review and proceeds to practical part, consisting of observations, interviews and a practical re-arrangement setup for the case company, Reaktor Space Lab (RSL), a new-found startup that spun off from a university project. Emphasis was put to measurability and its difficulties, therefore an online survey was conducted and the results were analysed. The goal of the survey was not only to evaluate the current state of RSL, but to assess the importance of comprehensive working environment design and evaluate its relevance to NewSpace industry.
The study produced findings that can be summarized into following statements: 1) In space industry, modern and comprehensive design of working environment is only seldom taken into consideration and it is often seen as a cost rather than necessity, 2) workspace as such does not provide an extensive solution for environmental change, therefore emphasis should be put into understanding case-specific needs and approaching organisational change on a systematic level and 3) Working environment design does have impact to NewSpace companies, however the approach applies only to certain sort of space projects, so it shouldnât be taken as a platitude in space industry.
Based on these findings, this thesis provides fundamental suggestions for space technology companies that aim to develop its procedures towards agile NewSpace methodology. In addition, practical improvement proposals for RSL are proposed.Työpaikat ja työkulttuuri kehittyvĂ€t jatkuvasti. Kutsuvien, kĂ€yttĂ€jien tarpeita mukailevien työympĂ€ristöjen luominen on yleistynyt alaan katsomatta â myös perinteisemmillĂ€ aloilla, kuten avaruusteollisuudessa. TĂ€mĂ€ verrattain jĂ€ykkĂ€ ja tĂ€smĂ€llinen teollisuudenhaara on kohdannut uuden ilmiön, jossa yksityiset avaruustoimijat yhdistĂ€vĂ€t ketterĂ€t toimintatavat ja markkinalĂ€htöisyyden. TĂ€stĂ€ yrittĂ€jĂ€henkisestĂ€ lĂ€hestymistavasta kĂ€ytetÀÀn nimitystĂ€ NewSpace.
TÀmÀn diplomityön tarkoituksena oli selvittÀÀ, minkÀlainen työympÀristö tukee NewSpace-toimintaa. TÀmÀn mÀÀrittelemiseksi selvitettiin perinteisen avaruusteollisuuden ja NewSpace-tavan eroja, minkÀ perusteella mÀÀriteltiin kaupallisen avaruustoiminnan tarpeet. LisÀksi mÀÀritettiin työntekoa tukevan ympÀristön ominaisuuksia tutkimalla modernia työympÀristöÀ konseptitasolla. NÀiden tarpeiden ja toivottujen ominaisuuksien avulla luotiin puitteet NewSpace-työympÀristölle.
Tutkimus alkaa kirjallisuuskatsauksella, joka luo pohjan kÀytÀnnön osiolle. Tutkimusmetodeina kÀytetÀÀn kirjallisuuskatsauksen lisÀksi havainnointia, haastatteluita sekÀ kÀytÀnnön uudelleenjÀrjestelyjÀ kohdeyrityksessÀ Reaktor Space Lab. TÀmÀn yliopistoprojektista liikkeelle lÀhteneen pienyrityksen työympÀristöÀ ja sen muutoksia mitataan online-kyselyllÀ, jonka avulla saatiin tuloksia ja johtopÀÀtöksiÀ sekÀ kohdeyrityksestÀ, ettÀ avaruusyrittÀjyydestÀ yleisellÀ tasolla.
Tutkimustuloksista tehtiin yhteenvetoja, jotka voidaan tiivistÀÀ seuraavasti: 1) Avaruusalalla otetaan harvoin huomioon työympÀristö kattavasti siten, ettÀ se tukee henkilöstön tarpeita ja organisaation yhteisiÀ tavoitteita. 2) Työtilat eivÀt sellaisenaan tue ympÀristön muutosta, joten muutoksessa tulee ottaa huomioon tapauskohtaiset organisaation ja yksilöiden tarpeet sekÀ toiminnan tavoitteet. 3) Kattavalla työympÀristösuunnittelulla on vaikutusta NewSpace-toimintaan, mutta NewSpace ei sellaisenaan sovellu kaikkeen avaruustoimintaan.
Tuloksien perusteella laadittiin ehdotus yleisistÀ toimintatavoista, jonka avulla voidaan kehittÀÀ työympÀristö tukemaan ketterÀÀ NewSpace-avaruustoimintaa. LisÀksi tuotiin esille ehdotuksia kohdeyrityksen työympÀristön kehittÀmiselle
A Formal Verification Environment for Use in the Certification of Safety-Related C Programs
In this thesis the design of an environment for the formal verification of functional properties of safety-related software written in the programming language C is described. The focus lies on the verification of (primarily) geometric computations. We give an overview of the applicable regulations for safety-related software systems. We define a combination of higher-order logic as formalised in the theorem prover Isabelle and a specification language syntactically based on C expressions. The language retains the mathematical character of higher-level specifications in code specifications. A memory model for C is formalised which is appropriate to model low-level memory operations while keeping the entailed verification overhead in tolerable bounds. Finally, a Hoare style proof calculus is devised so that correctness proofs can be performed in one integrated framework. The applicability of the approach is demonstrated by describing its use in an industrial project
Biohacking and code convergence : a transductive ethnography
Cette thĂšse se dĂ©ploie dans un espace de discours et de pratiques revendicatrices, Ă lâinter- section des cultures amateures informatiques et biotechniques, euro-amĂ©ricaines contempo- raines. La problĂ©matique se dessinant dans ce croisement culturel examine des mĂ©taphores et analogies au coeur dâun traffic intense, au milieu de voies de commmunications imposantes, reliant les technologies informatiques et biotechniques comme lieux dâexpression mĂ©diatique. Lâexamen retrace les lignes de force, les mĂ©diations expressives en ces lieux Ă travers leurs manifestations en tant que codes âĂ la fois informatiques et gĂ©nĂ©tiquesâ et reconnaĂźt les caractĂšres analogiques dâexpressivitĂ© des codes en tant que processus de convergence.
Ămergeant lentement, Ă partir des annĂ©es 40 et 50, les visions convergentes des codes ont facilitĂ© lâentrĂ©e des ordinateurs personnels dans les marchĂ©s, ainsi que dans les garages de hackers, alors que des bricoleurs de lâinformatique sâen rĂ©clamaient comme espace de libertĂ© dâinformation âet surtout dâinnovation. Plus de cinquante ans plus tard, lâanalogie entre codes informatiques et gĂ©nĂ©tiques sert de moteur aux revendications de libertĂ©, informant cette fois les nouvelles applications de la biotechnologie de marchĂ©, ainsi que lâactivitĂ© des biohackers, ces bricoleurs de garage en biologie synthĂ©tique. Les pratiques du biohacking sont ainsi comprises comme des individuations : des tentatives continues de rĂ©soudre des frictions, des tensions travaillant les revendications des cultures amateures informatiques et biotechniques.
Une des maniĂšres de moduler ces tensions sâincarne dans un processus connu sous le nom de forking, entrevu ici comme lâexpĂ©rience dâune bifurcation. Autrement dit, le forking est ici dĂ©finit comme passage vers un seuil critique, dĂ©clinant la technologie et la biologie sur plusieurs modes. Le forking informe âcâest-Ă -dire permet et contraintâ diffĂ©rentes vi- sions collectives de lâouverture informationnelle. Le forking intervient aussi sur les plans des iii semio-matĂ©rialitĂ©s et pouvoirs dâaction investis dans les pratiques biotechniques et informa- tiques. Pris comme processus de co-constitution et de diffĂ©rentiation de lâaction collective, les mouvements de bifurcation invitent les trois questions suivantes : 1) Comment le forking catalyse-t-il la solution des tensions participant aux revendications des pratiques du bioha- cking ? 2) Dans ce processus de solution, de quelles maniĂšres les revendications changent de phase, bifurquent et se transforment, parfois au point dâaltĂ©rer radicalement ces pratiques ? 3) Quels nouveaux problĂšmes Ă©mergent de ces solutions ?
Lâeffort de recherche a trouvĂ© ces questions, ainsi que les plans correspondants dâaction sĂ©mio-matĂ©rielle et collective, incarnĂ©es dans trois expĂ©riences ethnographiques rĂ©parties sur trois ans (2012-2015) : la premiĂšre dans un laboratoire de biotechnologie communautaire new- yorkais, la seconde dans lâĂ©mergence dâun groupe de biotechnologie amateure Ă MontrĂ©al, et la troisiĂšme Ă Cork, en Irlande, au sein du premier accĂ©lĂ©rateur dâentreprises en biologie synthĂ©tique au monde. La logique de lâenquĂȘte nâest ni strictement inductive ou dĂ©ductive, mais transductive. Elle emprunte Ă la philosophie de la communication et de lâinformation de Gilbert Simondon et dĂ©couvre lâĂ©pistĂ©mologie en tant quâacte de crĂ©ation opĂ©rant en milieux relationnels. Lâheuristique transductive offre des rencontres inusitĂ©es entre les mĂ©taphores et les analogies des codes. Ces rencontres Ă©tonnantes ont amĂ©nagĂ© lâexpĂ©rience de la conver- gence des codes sous forme de jeux dâĂ©critures. Elles se sont retrouvĂ©es dans la recherche ethnographique en tant que processus transductifs.This dissertation examines creative practices and discourses intersecting computer and biotech cultures. It queries influential metaphors and analogies on both sides of the inter- section, and their positioning of biotech and information technologies as expression media. It follows mediations across their incarnations as codes, both computational and biological, and situates their analogical expressivity and programmability as a process of code conver- gence. Converging visions of technological freedom facilitated the entrance of computers in 1960âs Western hobbyist hacker circles, as well as in consumer markets. Almost fifty years later, the analogy drives claims to freedom of information âand freedom of innovationâ from biohacker hobbyist groups to new biotech consumer markets. Such biohacking practices are understood as individuations: as ongoing attempts to resolve frictions, tensions working through claims to freedom and openness animating software and biotech cultures.
Tensions get modulated in many ways. One of them, otherwise known as âforking,â refers here to a critical bifurcation allowing for differing iterations of biotechnical and computa- tional configurations. Forking informs âthat is, simultaneously affords and constrainsâ differing collective visions of openness. Forking also operates on the materiality and agency invested in biotechnical and computational practices. Taken as a significant process of co- constitution and differentiation in collective action, bifurcation invites the following three questions: 1) How does forking solve tensions working through claims to biotech freedom? 2) In this solving process, how can claims bifurcate and transform to the point of radically altering biotech practices? 3) what new problems do these solutions call into existence?
This research found these questions, and both scales of material action and agency, in- carnated in three extensive ethnographical journeys spanning three years (2012-2015): the first in a Brooklyn-based biotech community laboratory, the second in the early days of a biotech community group in Montreal, and the third in the worldâs first synthetic biology startup accelerator in Cork, Ireland. The inquiryâs guiding empirical logic is neither solely deductive or inductive, but transductive. It borrows from Gilbert Simondonâs philosophy of communication and information to experience epistemology as an act of analogical creation involving the radical, irreversible transformation of knower and known. Transductive heuris- tics offer unconvential encounters with practices, metaphors and analogies of code. In the end, transductive methods acknowledge code convergence as a metastable writing games, and ethnographical research itself as a transductive process
Operational research:methods and applications
Throughout its history, Operational Research has evolved to include a variety of methods, models and algorithms that have been applied to a diverse and wide range of contexts. This encyclopedic article consists of two main sections: methods and applications. The first aims to summarise the up-to-date knowledge and provide an overview of the state-of-the-art methods and key developments in the various subdomains of the field. The second offers a wide-ranging list of areas where Operational Research has been applied. The article is meant to be read in a nonlinear fashion. It should be used as a point of reference or first-port-of-call for a diverse pool of readers: academics, researchers, students, and practitioners. The entries within the methods and applications sections are presented in alphabetical order
LIPIcs, Volume 244, ESA 2022, Complete Volume
LIPIcs, Volume 244, ESA 2022, Complete Volum