Visual Specification of Properties for Robotic Designs

Lindoso, Waldeck; Nogueira, Sidney C.; Domingues, Renato; Lima, Lucas

doi:10.1007/978-3-030-92137-8_3

Cited by 3 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…RoboCert aims to be a unified toolbox for property specification of RoboStar models, and we plan to expand its notation set beyond core properties, sequence diagrams, CSP, and PCTL. As our work complements that of Lindoso et al [11] on activity diagrams for RoboChart models, we will expand support in RoboTool to integrate such diagrams. Our goal is to discover and capture notations that are, or will be, useful among domain experts.…”

Section: Discussionmentioning

confidence: 82%

See 1 more Smart Citation

RoboCert: Property Specification in Robotics

Windsor

Cavalcanti

2022

Formal Methods and Software Engineering

View full text Add to dashboard Cite

RoboStar is a toolkit for model-based development using a domain-specific notation, RoboChart, with enriched UML-like state machines and a custom component model. We present RoboCert: a novel notation, based on UML sequence diagrams, which facilitates the specification of properties over RoboChart components. With RoboCert, we can express properties of a robotic system in a user-friendly, idiomatic manner. RoboCert specifications can be existential or universal, include timing notions such as deadlines and budgets, and both safety and liveness properties. Our work is faithful to UML where it can be, but presents significant extensions to fit the robotics application needs. RoboCert comes with tooling support for modelling and verification by model checking, and formal semantics in tock -CSP, the discrete-time variant of CSP.

show abstract

Section: Discussionmentioning

confidence: 82%

“…Lindoso et al [11] have adapted UML activity diagrams as a property notation for RoboChart. Their work has both a semantics in CSP and graphical tooling.…”

Section: Related Workmentioning

confidence: 99%

RoboCert: Property Specification in Robotics

Windsor

Cavalcanti

2022

Formal Methods and Software Engineering

View full text Add to dashboard Cite

show abstract

Model-Based Engineering for Robotics with RoboChart and RoboTool

Cavalcanti,

Attala,

Baxter

et al. 2023

Formal Methods for an Informal World

View full text Add to dashboard Cite

From Pluralistic Normative Principles to Autonomous-Agent Rules

et al. 2022

View full text Add to dashboard Cite

With recent advancements in systems engineering and artificial intelligence, autonomous agents are increasingly being called upon to execute tasks that have normative relevance. These are tasks that directly—and potentially adversely—affect human well-being and demand of the agent a degree of normative-sensitivity and -compliance. Such norms and normative principles are typically of a social, legal, ethical, empathetic, or cultural (‘SLEEC’) nature. Whereas norms of this type are often framed in the abstract, or as high-level principles, addressing normative concerns in concrete applications of autonomous agents requires the refinement of normative principles into explicitly formulated practical rules. This paper develops a process for deriving specification rules from a set of high-level norms, thereby bridging the gap between normative principles and operational practice. This enables autonomous agents to select and execute the most normatively favourable action in the intended context premised on a range of underlying relevant normative principles. In the translation and reduction of normative principles to SLEEC rules, we present an iterative process that uncovers normative principles, addresses SLEEC concerns, identifies and resolves SLEEC conflicts, and generates both preliminary and complex normatively-relevant rules, thereby guiding the development of autonomous agents and better positioning them as normatively SLEEC-sensitive or SLEEC-compliant.

show abstract

Visual Specification of Properties for Robotic Designs

Cited by 3 publications

References 13 publications

RoboCert: Property Specification in Robotics

RoboCert: Property Specification in Robotics

Model-Based Engineering for Robotics with RoboChart and RoboTool

From Pluralistic Normative Principles to Autonomous-Agent Rules

Contact Info

Product

Resources

About