Theory of Regulatory Compliance for Requirements Engineering

Regulatory compliance is increasingly being addressed in the practice of requirements engineering as a main stream concern. This paper points out a gap in the theoretical foundations of regulatory compliance, and presents a theory that states (i) what it means for requirements to be compliant, (ii) the compliance problem, i.e., the problem that the engineer should resolve in order to verify whether requirements are compliant, and (iii) testable hypotheses (predictions) about how compliance of requirements is verified. The theory is instantiated by presenting a requirements engineering framework that implements its principles, and is exemplified on a real-world case study.Comment: 16 page

Advanced Cloud Privacy Threat Modeling

Privacy-preservation for sensitive data has become a challenging issue in cloud computing. Threat modeling as a part of requirements engineering in secure software development provides a structured approach for identifying attacks and proposing countermeasures against the exploitation of vulnerabilities in a system . This paper describes an extension of Cloud Privacy Threat Modeling (CPTM) methodology for privacy threat modeling in relation to processing sensitive data in cloud computing environments. It describes the modeling methodology that involved applying Method Engineering to specify characteristics of a cloud privacy threat modeling methodology, different steps in the proposed methodology and corresponding products. We believe that the extended methodology facilitates the application of a privacy-preserving cloud software development approach from requirements engineering to design

High Precision Device for Diameter Rebar Control in Reinforced Concrete Products

AbstractModern construction projects are complex engineering structures that vary in purpose, materials, height, the regulatory period of service, purpose and features of operation. Often there is a need for reconstruction of old buildings and structures. All this requires the development of technologies, methods, and special equipment for the inspection of buildings and constructions, quality control not only in the course production but also at the construction site. The use of control devices allows solving problems of contractors non-compliance with the requirements of the project and the consequences of incorrect assembly, which in turn may lead not only to economic losses but also to the damage caused to the health and lives of people. In this article, we have designed a device for measuring the diameter of reinforcement concrete structures. For modeling of individual components of the electronic part of device the system NI Multisim is used. For modeling of electromagnetic sensors for developed the device for measuring the diameter of the reinforcement concrete structures the program Maxwell SV is used

Querying a regulatory model for compliant building design audit

The ingredients for an effective automated audit of a building design include a BIM model containing the design information, an electronic regulatory knowledge model, and a practical method of processing these computerised representations. There have been numerous approaches to computer-aided compliance audit in the AEC/FM domain over the last four decades, but none has yet evolved into a practical solution. One reason is that they have all been isolated attempts that lack any form of standardisation. The current research project therefore focuses on using an open standard regulatory knowledge and BIM representations in conjunction with open standard executable compliant design workflows to automate the compliance audit process. This paper provides an overview of different approaches to access information from a regulatory model representation. The paper then describes the use of a purpose-built high-level domain specific query language to extract regulatory information as part of the effort to automate manual design procedures for compliance audit

Towards a Semantic-based Approach for Modeling Regulatory Documents in Building Industry

Regulations in the Building Industry are becoming increasingly complex and involve more than one technical area. They cover products, components and project implementation. They also play an important role to ensure the quality of a building, and to minimize its environmental impact. In this paper, we are particularly interested in the modeling of the regulatory constraints derived from the Technical Guides issued by CSTB and used to validate Technical Assessments. We first describe our approach for modeling regulatory constraints in the SBVR language, and formalizing them in the SPARQL language. Second, we describe how we model the processes of compliance checking described in the CSTB Technical Guides. Third, we show how we implement these processes to assist industrials in drafting Technical Documents in order to acquire a Technical Assessment; a compliance report is automatically generated to explain the compliance or noncompliance of this Technical Documents

Sharing Mobility Data for Planning and Policy Research

A California Public Utilities Commission (CPUC) rulemaking and possible legislative action in 2020 could affect data sharing requirements, with implications for shared mobility providers. The purpose of this brief is to inform this regulatory and legislative decision-making. We solicited policy and planning questions and data needs for shared mobility from within the University of California Institute of Transportation Studies research network. We defined shared mobility as including shared mobility devices, such as e-bikes and e-scooters, and transportation network companies (TNCs). We evaluated whether data shared in accordance with each of six mobility data specifications could be used to support analyses that would answer these questions. We then defined three approaches to data sharing and analysis to address these and other questions, presenting the advantages and disadvantages of each. This brief does not address the full breadth of the questions raised in the CPUC rulemaking nor does it introduce the complexities of this topic. Beyond the scope of this brief are issues of user privacy, the legal authority for sharing data, and contractual or requirements for each possible model of data sharing and analysis

Development of the Integrated Model of the Automotive Product Quality Assessment

Issues on building an integrated model of the automotive product quality assessment are studied herein basing on widely applicable methods and models of the quality assessment. A conceptual model of the automotive product quality system meeting customer requirements has been developed. Typical characteristics of modern industrial production are an increase in the production dynamism that determines the product properties; a continuous increase in the volume of information required for decision-making, an increased role of knowledge and high technologies implementing absolutely new scientific and technical ideas. To solve the problem of increasing the automotive product quality, a conceptual structural and hierarchical model is offered to ensure its quality as a closed system with feedback between the regulatory, manufacturing, and information modules, responsible for formation of the product quality at all stages of its life cycle. The three module model of the system of the industrial product quality assurance is considered to be universal and to give the opportunity to explore processes of any complexity while solving theoretical and practical problems of the quality assessment and prediction for products for various purposes, including automotive