Filters








74,312 Hits in 7.1 sec

An automated nD model creation on BIM models

Miroslav Vycital, Cenek Jarský
2020 Organization, Technology and Management in Construction: An International Journal  
AbstractThe construction technology (CONTEC) method was originally developed for automated CONTEC planning and project management based on the data in the form of a budget or bill of quantities.  ...  This article outlines a new approach in an automated creation of the discrete nD building information modeling (BIM) models by using data from the BIM model and their processing by existing CONTEC method  ...  Acknowledgment This work was financially supported by SGS17/165/ OHK1/3T/11 "Modeling of industrial robotic brick system."  ... 
doi:10.2478/otmcj-2020-0018 fatcat:zxwguoso6val3eryxdcdk34n3m

A Methodology for Automating Assurance Case Generation [article]

Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pal, Gabor Karsai
2020 arXiv   pre-print
To improve the current state of practice, we introduce a structured ACG tool which uses system design artifacts, accumulated evidence, and developer expertise to construct a safety case and evaluate it  ...  The certification processes for these systems are stringent and require robust safety assurance arguments and substantial evidence backing.  ...  ACKNOWLEDGEMENTS This work was supported in part by DARPA's Assured Autonomy project and Air Force Research Laboratory.  ... 
arXiv:2003.05388v1 fatcat:hdrbapttfnghnir23fhp63uaxy

An Augmented Framework for Formal Analysis of Safety Critical Systems

Monika Singh, V. K. Jain
2017 Journal of Software Engineering and Applications  
Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously  ...  This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention.  ...  Systems. 3) Construct and test the Safety Critical Cases.  ... 
doi:10.4236/jsea.2017.108039 fatcat:wuf6kn26s5f2bope5o2esf36em

Automation and Robotics in Construction and Civil Engineering

Mi Jeong Kim, Hung-Lin Chi, Xiangyu Wang, Lieyun Ding
2015 Journal of Intelligent and Robotic Systems  
[6] conducted several case studies to identify the potential usage of laser scanned as-built model in quality assurance processes of Liquid and Gas (LNG) plant construction.  ...  All the proposed methods, models, technologies, and applications can potentially contribute to the current construction paradigm, or inspire further research with integration of automation and robotics  ... 
doi:10.1007/s10846-015-0252-9 fatcat:phtqh5ptbrfrplkpcby2d4i4h4

Preface to Part VI Energy and Environmental Sustainability

2011 Procedia Computer Science  
environmental systems.  ...  transportation systems.  ...  Market Design and Security Assurance -Poreddy and Corns, present an approach to documenting an assurance case for system security.  ... 
doi:10.1016/j.procs.2011.08.079 fatcat:t7depexnz5g6pbivlfjyxbqub4

Trustworthy Self-Integrating Systems [chapter]

John Rushby
2015 Lecture Notes in Computer Science  
case" for the utility and safety of the resulting system.  ...  These self-integrating systems have the potential for significant harm as well as benefit, so as they integrate they should adapt and configure themselves appropriately and should construct an "assurance  ...  When systems interact, we would like the assurance case for their composition to be assembled in a modular or compositional way from the cases for the individual systems.  ... 
doi:10.1007/978-3-319-28034-9_3 fatcat:sn2qmb45bnaeblyfthgkpvnibq

TESTING AND VERIFICATION OF SOFTWARE MODEL THROUGH FORMAL SEMANTICS: A SYSTEMATIC REVIEW

Deepak Arora .
2014 International Journal of Research in Engineering and Technology  
UML is a standard language used in business modeling for specifying, visualizing and constructing artifact for software and non software systems.  ...  Various tools and techniques have already been proposed by many researchers for automation of model verification specifically for object oriented software designs.  ...  UML models are important source of information for design of test cases and verification.  ... 
doi:10.15623/ijret.2014.0322016 fatcat:tbmpeep2g5gofhylq5d6dyxmta

Development of the Model-driven Test Design System for IEC 61850 based Substation Automation System

Nam-Ho Lee, Byung Tae Jang
2013 Journal of International Council on Electrical Engineering  
model-driven testing technology and a test design system built based on the proposed  ...  Due to this, it is necessary and important to assure a common testing method for sharing information and dealing with the integrated system functions for the SAS test and this paper proposes the efficient  ...  Model-driven SA system performance test One of the important steps of SAS testing automation is to make a test case from reflecting testing requirements.  ... 
doi:10.5370/jicee.2013.3.1.020 fatcat:32ctvxvlerftrm3rzyb4mn7dve

Logic and Epistemology in Safety Cases [chapter]

John Rushby
2013 Lecture Notes in Computer Science  
accurate is our reasoning about the design of the system, given our knowledge.  ...  methods.  ...  In this paper, I propose that modern formal methods and the techniques of automated deduction allow the reasoning aspect of a safety case argument to be evaluated by systematic and largely automated methods  ... 
doi:10.1007/978-3-642-40793-2_1 fatcat:z347ti6hqrfejibkvronoyjm4y

Generation and Verification of Executable Assurance Case by Model-based Engineering

Fang Yan
2021 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)  
Assurance Cases (ACs) are used for justifying system confidence in important properties including safety, reliability, etc. Their manual generation is time-consuming and prone to errors.  ...  Thus, in this PhD, the Model-based Engineering (MBE) techniques are exploited for an automatic process for executable ACs. The first aim is to generate AC models automatically from system artefacts.  ...  But the system design data are not required to be models thus the method does not support the generation from system design models using model query. For FM verification of AC claims, Diskin et al.  ... 
doi:10.1109/issrew53611.2021.00096 fatcat:xcx4gq75ujdyjg5wglshhwtsri

Formalism in Safety Cases [chapter]

John Rushby
2009 Making Systems Safer  
Suitable formalisms could allow the arguments of a safety case to be checked mechanically. We examine some of the issues in doing so.  ...  I am grateful to Robin Bloomfield and his colleagues at Adelard and City University for exposing me to some of these topics and sharing their own ongoing investigations.  ...  On the other hand, standards tend to be slow-moving and conservative, and can be a barrier to innovation in both system design and in methods for assurance.  ... 
doi:10.1007/978-1-84996-086-1_1 dblp:conf/scss/Rushby10 fatcat:jfoy2mgktnenbhdtxuksuztbbe

Runtime Certification [chapter]

John Rushby
2008 Lecture Notes in Computer Science  
We outline a suitable framework, in which the basis for certification is changed from compliance with standards to the construction of explicit goals, evidence, and arguments (generally called an "assurance  ...  But modern development practices often postpone the determination of final system configuration from design time to integration time, load time, or even runtime.  ...  Introduction Runtime verification, whose technology provides for automated construction of monitors for formally specified properties [1] , can be considered from two viewpoints: one sees it as a form  ... 
doi:10.1007/978-3-540-89247-2_2 fatcat:qreukqxnyzcp7kd7arit62wkiq

Exploring the Benefits of Early Contractor Involvement (ECI) and the Mechanism for Automated 5D BIM Quantification Process in Offsite Modular Construction

Tochukwu Moses, David Heesom, David Oloke, Martin Crouch
2016 Modular and Offsite Construction (MOC) Summit Proceedings  
In particular when offsite construction is used, the contractoräó»s construction expertise should be leveraged for the virtual build in BIM-designed projects to ensure a fully streamlined process.  ...  Building in a layer of automated costing through 5D BIM will bring about a more robust method of quantification and can help to deliver the 25% reduction in overall cost of a project.  ...  The diagram demonstrates an automated tested process with a model assembly produced by a costing software 'CostOS' designed to price works according to the RICS NRM2 method of measurement for capital building  ... 
doi:10.29173/mocs6 fatcat:xy4vzvsftndibbpdua2v7gkvv4

Intelligent automated quality control for computational simulation

Andrew Gelsey
1995 Artificial intelligence for engineering design, analysis and manufacturing  
a set of evaluation methods based on knowledge of physics and numerical analysis stored in a data/knowledge base of models and simulations.  ...  design optimization.  ...  This work was done as part of the Rutgers CAP (Arti cial Intelligence and Design) project, and bene ted signi cantly from interaction with fellow faculty member Gerard Richter, graduate student Ke-Thia  ... 
doi:10.1017/s0890060400002717 fatcat:ir2nmzbwyjfehgug57bznledmm

Safe AI – How is this Possible? [article]

Harald Rueß, Simon Burton
2022 arXiv   pre-print
Ttraditional safety engineering is coming to a turning point moving from deterministic, non-evolving systems operating in well-defined contexts to increasingly autonomous and learning-enabled AI systems  ...  of AI systems.  ...  If we manage to train a "correct" ANN then we obtain a safety-by-design method for constructing safe AI systems.  ... 
arXiv:2201.10436v2 fatcat:lu5ibn3qc5hormd4w6zjmszplq
« Previous Showing results 1 — 15 out of 74,312 results