Safety cases provide a mechanism for representing evidence-based arguments that a system is acceptably safe to operate in its intended context. We show how we can automatically combine diverse types of information from heterogeneous sources into a single integrated safety case for a system implemented using automatically generated software. The core argument structure of the safety case is gene...

The next generation of gravitational-wave observatories will reach low frequency limits on the orders a few Hz, thus enabling detection gravitational wave signals very long duration. run time standard parameter estimation techniques with these waveforms can be months or even years, making it impractical existing Bayesian inference pipelines. Reduced order modeling and reduced quadrature integra...

The traditional building code compliance checking process mainly relies on design reviewers to review documents or models manually. intensive manual effort needed makes this time-consuming, costly, and error-prone. Automated (ACC) could be a promising upgrade of the checking. With reduced workload reviewers, ACC is cheaper, faster, immune human errors. To support ACC, requirements need represen...

Abstract Proper structural system and performance-based seismic design are the key issues in designing high-rise building structures. This project has unique facade shape complex plane function layout, vertical layout irregular. The superstructure adopts assembled integral concrete frame-shear wall structure, which is judged as out-of-code by review. Firstly, site conditions, foundation form se...

Code-switching (CSW) is the phenomenon where speakers use two or more languages in a single discourse utterance—an increasingly recognised natural product of multilingualism many settings. In language teaching and learning particular, code-switching has been shown to bring pedagogical benefits, including accelerating students’ confidence, increasing their access content, as well improving parti...

The licensing process of real estate developments is regulated by technical standards and legislations. compliance verification against such regulations, their reference parameters, a complicated task. Automating this process, using computational resources, can make it more efficient. addition geospatial data in urban code checking incorporate new methods into territorial planning. Thus, paper ...

Interoperability approaches have attracted much attention in the AEC/FM industry with increased interest Building Information Modeling (BIM) studies since 2000’s. Especially, integration of BIM GIS is crucial for areas, which need detailed information on buildings and their surroundings. Automated code compliance checking against zoning codes an area that requires both data building design data...

The RODIN, and DEPLOY projects have laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B; we investigated code generation for embedded, multi-tasking systems. This work describes activities from a follow-on project, ADVANCE; where our interest is co-simulation of cyber-physical systems. We are working to better understand the issues ar...