scholarly journals Rule Systems for Runtime Verification: A Short Tutorial

2009 ◽  
pp. 1-24 ◽  
Author(s):  
Howard Barringer ◽  
Klaus Havelund ◽  
David Rydeheard ◽  
Alex Groce
Keyword(s):  
Runtime Verification ◽  
Rule Systems

scholarly journals From parametric trace slicing to rule systems

2021 ◽  
Author(s):  
Giles Reger ◽  
David Rydeheard
Keyword(s):  
Runtime Verification ◽  
Specification Languages ◽  
Execution Traces ◽  
Running System ◽  
Proof Of Correctness ◽  
Rule Systems ◽  
The Relationship ◽  
Specification Techniques ◽  
Previous Conference

AbstractParametric runtime verification is the process of verifying properties of execution traces of (data carrying) events produced by a running system. This paper continues our work exploring the relationship between specification techniques for parametric runtime verification. Here we consider the correspondence between trace-slicing automata-based approaches and rule systems. The main contribution is a translation from quantified automata to rule systems, which has been implemented in Scala. This then allows us to highlight the key differences in how the two formalisms handle data, an important step in our wider effort to understand the correspondence between different specification languages for parametric runtime verification. This paper extends a previous conference version of this paper with further examples, a proof of correctness, and an optimisation based on a notion of redundancy observed during the development of the translation.

Toward a Science of Human Rule Systems

1969 ◽  
Author(s):  
Robert Hogan ◽  
Nancy M. Henley
Keyword(s):  
Rule Systems

Approaches for Analysing Norm Relationships

2017 ◽  
Author(s):  
Henning Grosse Ruse-Khan
Keyword(s):  
Conflict Resolution ◽  
Intellectual Property ◽  
International Law ◽  
Structure Building ◽  
Analytical Structure ◽  
Rules And Principles ◽  
Logical Order ◽  
International Law Commission ◽  
Rule Systems ◽  
Law Commission

This chapter discusses conflict-resolution tools and develops an analytical structure building on rules and principles in international intellectual property (IP) treaties, other rule-systems, and general international law to define norm relationships of interpretation and of conflict. Several tools are taken from the ‘toolbox’ developed in the Fragmentation Report of the International Law Commission and other fragmentation literature. Depending on the type of relationship at stake, the most appropriate legal tools to address them may vary. The ILC Report and Conclusions provide for some of the tools and to some extent for an analytical structure, a logical order for examining these relationships. As the chapter shows, for some types of legal relations other approaches are more adequate. They hence complement the ILC principles and need to be integrated in the set of tools available.

RML: Theory and practice of a domain specific language for runtime verification

2021 ◽  
Vol 205 ◽  
pp. 102610
Author(s):  
Davide Ancona ◽  
Luca Franceschini ◽  
Angelo Ferrando ◽  
Viviana Mascardi
Keyword(s):  
Runtime Verification ◽  
Theory And Practice ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

scholarly journals Integrating runtime verification into an automated UAS traffic management system

2021 ◽  
Author(s):  
Abigail Hammer ◽  
Matthew Cauwels ◽  
Benjamin Hertz ◽  
Phillip H. Jones ◽  
Kristin Y. Rozier
Keyword(s):  
Traffic Management ◽  
Management System ◽  
Runtime Verification ◽  
Traffic Management System

Refounding the African state and local self-governance: the neglected foundation

2000 ◽  
Vol 38 (3) ◽  
pp. 487-509 ◽  
Author(s):  
James S. Wunsch
Keyword(s):  
Collective Action ◽  
Public Goods ◽  
Local Governance ◽  
African State ◽  
Institutional Development ◽  
Political Relationships ◽  
State And Local ◽  
The 1960S ◽  
Rule Systems ◽  
Local Leaders

The political revolution of contemporary Africa has so far largely been limited to the centre and to re-establishing the same institutional forms and processes which failed Africa in the 1960s. These regimes are already showing signs of erosion. This problem can be understood through the theory of public goods. Key collective or ‘public’ goods problems impede the collective action necessary for institutional development. Top-down strategies cannot surmount these problems because they cannot integrate and unify the population or structure consensual and sustained collective action.As currently constituted, national levels of government in Africa will be poor partners with local communities in development, be it of democracy or of the economy. In many cases, national regimes only exist at all because minimal contributing sets or political monopolists controlled, were given, or mobilised the resources to establish constituting rule systems which they used to sustain their existing relative advantages during the break-up of imperial systems. As this advantage is usually at the expense of the majority which lives outside the capitals, resources and policies to improve these areas are slow in coming. The slow, bottom-up process by which a true public constitution is built, one which reflects and elaborates generally held values, is built on existing political relationships, and protects social diversity, has never been allowed to develop.Refounding the African state must resolve these problems if it is to succeed. Ethnically and religiously diverse peoples will rule themselves better under federal and consociational systems which give local leaders space to lead local institutional development, authority to play a role in national governance, a process to develop consensus on central policy and to check the centre when there is no consensus. This requires a foundation of viable, real, developed structures of local governance if it is to succeed.

scholarly journals Constructing Compact Takagi-Sugeno Rule Systems: Identification of Complex Interactions in Epidemiological Data

PLoS ONE ◽  
2012 ◽  
Vol 7 (12) ◽  
pp. e51468 ◽  
Author(s):  
Shang-Ming Zhou ◽  
Ronan A. Lyons ◽  
Sinead Brophy ◽  
Mike B. Gravenor
Keyword(s):  
Epidemiological Data ◽  
Complex Interactions ◽  
Systems Identification ◽  
Takagi Sugeno ◽  
Rule Systems
Sign in / Sign up

Export Citation Format

Share Document