15,158 Hits in 5.9 sec

Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems [chapter]

Linas Laibinis, Elena Troubitsyna, Sari Leppänen
2009 Lecture Notes in Computer Science  
In this paper we show how to formalise and extend Lyra -a top-down service-oriented method for development of communicating systems.  ...  To achieve this, correctness of software for such systems and system fault tolerance should be ensured.  ...  To formalise the Lyra development process, we choose the B Method as our formal framework. The B Method [1] is an approach for the industrial development of highly dependable software.  ... 
doi:10.1007/978-3-642-00867-2_7 fatcat:7d6g4ikdgncildmfuw2skurkdq

Benchmarking Inter-Hospital Alliances against Industry Best Practices

Frances Wildhaber, Pierre Collerette, Daniel Pelletier, Michael Heberer
2015 Management and Organizational Studies  
There was an absence of rigorous partner selection on the basis of due diligence and no clear communicated, or monitored, alliance targets.  ...  Clinical parameters specific to the alliance were not measured but an improvement of patient standard of care was perceived. There was a low awareness of financial parameters.  ...  Acknowledgements The authors are in debt and very grateful to the hospitals (anonymous) participating in the study and to the individual managers, physicians and nurses who made themselves available for  ... 
doi:10.5430/mos.v2n4p23 fatcat:jyr3kt23lvgjnfaijf4ffaa324

Challenges of operationalising good industry practice and best environmental practice in deep seabed mining regulation

Leonardus J. Gerber, Renée L. Grogan
2018 Marine Policy  
It further enhances the understanding of a critical component to the sustainable operationalization of the industry, whilst acknowledging the unique environmental protection requirements associated with  ...  Accordingly, the aim of this article is to provide a critical assessment of two commonly invoked, yet often ambiguous, concepts in this regulatory discourse -that being 'Best Environmental Practice' and  ...  Such an approach is neither site-, nor technology, specific and could provide the robust approach to monitoring and regulating nascent industries required to achieve BEP.  ... 
doi:10.1016/j.marpol.2018.09.002 fatcat:gc6azd75hnenjbdg5wterwfc3u

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements [article]

Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan
2021 arXiv   pre-print
In this paper, we present a formal requirements-driven methodology, applied to a model of an aircraft engine controller that has been provided by our industrial partner.  ...  In this paper we give an overview of (FRET), describe our methodology and work to-date on the formalisation and verification of the requirements, and outline future work using our methodology.  ...  We demonstrate our methodology through an industrial use case of an aircraft engine controller.  ... 
arXiv:2110.09277v1 fatcat:lu72my5nezg6ddtgsjmafhwfty

Using Formal Methods for Autonomous Systems: Five Recipes for Formal Verification [article]

Matt Luckcuck
2021 arXiv   pre-print
; and behaviour can be monitored at runtime and compared to its original specification.  ...  To answer this question, this position paper describes five recipes for formally verifying aspects of an autonomous system, collected from the literature.  ...  Focussing the use of FM on the components of a system that are amenable to formalisation is useful [20, 21] , especially if the components that are formalised are those most critical to the safety of  ... 
arXiv:2012.00856v2 fatcat:hatdgqwbabbfdbngmjt4q2rroi

Rethinking the management of information in the strategic monitoring of public policies by agencies

Claude Rochet
2004 Industrial management & data systems  
The 2001 reform of the France basic law on financial legislation defines a new framework for the monitoring of public policies based on the evaluation of outputs and outcomes rather than resources allocations  ...  According to the double-loop organizational learning theory (Argyris & Schön, 1978), the single loop learning deals with the management of the policy by the agency and answers the question "Are things  ...  However this approach is due to be replicated at each level from the top to the bottom, we will focus on the interface between parent body and EP where take place the critical activities of formalising  ... 
doi:10.1108/02635570410525753 fatcat:vq3fbrmecnastlejoir464oblm

Animal Welfare for Corporate Sustainability: The Business Benchmark on Farm Animal Welfare

2020 Journal of Sustainability Research  
The importance of a formalised system of responsibilities and the advances offered by audio-visual and smart technologies, that provide real-time data, will be a key dimension for the farm of the future  ...  This research highlights the disruptive potential of Fourth Industrial Revolution technologies applied on farms.  ...  What decisions should be formalised? Strategic decisions affecting the governance of an organisation must be formalised. The governance of an organisation must be clarified.  ... 
doi:10.20900/jsr20200030 fatcat:pirplmjlgrhv5m2q4gvbyne33a

Engineer-to-order (ETO) production planning and control: an empirical framework for machinery-building companies

Federico Adrodegari, Andrea Bacchetti, Roberto Pinto, Fabiana Pirola, Massimo Zanardini
2015 Production planning & control (Print)  
This paper illustrates the results of an empirical study involving 21 engineer-to-order (ETO) companies, operating in the machinery-building industry.  ...  As an answer to the observed compelling need for reviewing the general approaches to PPC in machinery-building companies, we develop an empirical, high-level production planning and scheduling reference  ...  According to the judgmental sampling approach, our sample was based on available data from industrial associations, the authors' experience and their knowledge of the Italian machinery sector.  ... 
doi:10.1080/09537287.2014.1001808 fatcat:l32edhewvjaebmtiz42hifsglm

Page 1451 of Management & Marketing Abstracts Vol. 20, Issue 11 [page]

1995 Management & Marketing Abstracts  
Two systems are described - PERT (project evaluation and review technique) and CPM (critical path method), which represent a formalised and system- atic approach to project management and planning activities  ...  They base their work on an exit-voice framework of such relationships. (3 ref) 4518 MARKETING PLANNING: A COMPUTER ASSISTED APPROACH ProctorT, Mark. Intell.  ... 

A Proposed Regulatory Review Model to Support the South African Health Products Regulatory Authority to Become a More Efficient and Effective Agency

Andrea Keyter, Sam Salek, Shabir Banoo, Stuart Walker
2020 International Journal of Health Policy and Management  
to adapt to the new regulatory environment and increase the effectiveness of regulatory operations.  ...  An improved model for the South African regulatory review and benefit-risk (BR) assessment supported by quality decision-making was proposed as well as recommendations for the application of risk-stratification  ...  Ethical issues The study received Ethics approval from the University of Hertfordshire Institutional Ethics Committee (LMS/PGR/UH/03873).  ... 
doi:10.34172/ijhpm.2020.213 pmid:33300773 fatcat:c2tkjxc27nb6nkaszbigbthe6e

On the Formal Development of Safety-Critical Software [chapter]

Andy Galloway, Frantz Iwu, John McDermid, Ian Toyn
2008 Lecture Notes in Computer Science  
We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain.  ...  This leads us to propose two complementary enhancements to Parnas' four-variable model, one elaborating the structure outside the control computer, and the other elaborating the structure inside the control  ...  We are also grateful to our industrial collaborators, especially Airbus, BAE Systems, QinetiQ and Rolls-Royce.  ... 
doi:10.1007/978-3-540-69149-5_39 fatcat:heb27ul65ngc3f64bqgkinbqyq

Cyber Resilience Meta-Modelling: The Railway Communication Case Study

Emanuele Bellini, Stefano Marrone, Fiammetta Marulli
2021 Electronics  
In this respect, an application case based on critical transportation communications systems, namely the railway communication system, is provided to prove the feasibility of the proposed approach and  ...  To this end, the present paper aims at providing an operational formalisation for cyber resilience starting from the Cyber Resilience Ontology presented in a previous work using model-driven principles  ...  The key to maximising the impact of the contribution on the academic and industrial communities is to provide a modelling guideline and an automatic process supporting the design or the V&V of a critical  ... 
doi:10.3390/electronics10050583 doaj:b03542a919384ba0a492f1985f941a87 fatcat:by5elwdjpfg2bgeaaogxwtzkc4

Strategic management accounting and performance implications: a literature review and research agenda

Jafar Ojra, Abdullah Promise Opute, Mohammad Mobarak Alsolmi
2021 Future Business Journal  
Responding to that call, this study utilised a qualitative approach that involved a systematic review to synthesise existing literature towards understanding the strategic management accounting foundation  ...  The limitations of this study have been acknowledged.  ...  of management accounting data about a business and its competitors, for use in developing and monitoring business strategy".  ... 
doi:10.1186/s43093-021-00109-1 fatcat:qfe4dfl4hbh5zbrkqjaics4r4m

Formalising Policies for Insider-threat Detection: A Tripwire Grammar

Ioannis Agrafiotis, Arnau Erola, Michael Goldsmith, Sadie Creese
2017 Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications  
But assuming that one can keep the threat out of an organisation is simply not a practical stance to adopt.  ...  We then orchestrate these tripwires in conjunction with an anomaly detection system. We present a review of the security policies organisation apply and a grammar to describe tripwires.  ...  The project brings together The Department of Computer Science and The Said Business School at the University of Oxford, and the Department of Psychology at the University of Warwick.  ... 
doi:10.22667/jowua.2017.03.31.026 dblp:journals/jowua/AgrafiotisEGC17 fatcat:zixro43rbrfezjdkm5abqikilq

Architecture of the agent-based model for the region's industrial complex digital transformation

G. B. Korovin
2020 Journal of New Economy  
factors and a set of indicators of a phased digital transformation of an industrial complex.  ...  The paper aims at developing an agent-based model of digital transformation of the regional industrial complex.  ...  Formalisation of the behaviour rules followed by heterogeneous agents is the most challenging and critical part of model development.  ... 
doi:10.29141/2658-5081-2020-21-3-8 fatcat:hcnmtyn3breltilfzdgxllmhtq
« Previous Showing results 1 — 15 out of 15,158 results