MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Henning Dierks" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 21 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Specification and Verification of Polling Real-Time Systems (Extended Abstract)  
  • by Henning Dierks, Henning Dierks — 2000
  • …Formal methods for real-time systems are an important topic of contemporary research. The aim is to cope with the additional complexity of ``time'' in specification and verification. In [Die99b] we present an approach to the correct design of real-time programs implemented on ``Programmable Logic Co…
  • Add To MetaCart
  • A Process Algebra for Real-Time Programs  
  • by Henning Dierks — 2000 — In FASE, volume 1783 of LNCS
  • …We introduce a generalised notion of a real-time specification language ("GPLC-Automata") that can be translated directly into real-time programs. In order to describe the behaviour of several GPLCAutomata implemented on one machine we introduce composition operators which form a process algebra. We…
  • Cited by 2 (0 self) – Add To MetaCart
  • The Production Cell: A Verified Real-Time System  
  • by Henning Dierks — 1996 — Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS 1135 (Springer-Verlag, 1996) 208--227. Transformational Design of Real-Time Systems 6
  • …This paper applies and refines the ProCoS approach to transformational design of real-time systems to a benchmark case study, the Karlsruhe production cell [10, 9]. We start by formalizing the informal requirements of [10, 9] in Duration Calculus and end with a distributed controller architecture wh…
  • Cited by 3 (1 self) – Add To MetaCart
  • Synthesising Controllers from Real-Time Specifications  
  • by Henning Dierks — 1997 — In Tenth International Symposium on System Synthesis
  • …We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Automata [5] and these can be implemented directly on PLCs [5]. We demonstrate the behaviour of the algorithm by an example.…
  • Cited by 19 (8 self) – Add To MetaCart
  • Comparing Model-Checking and Logical Reasoning for Real-Time Systems  
  • by Henning Dierks — 1998 — Formal Aspects of Computing
  • …In recent years model-checking of real-time systems has become popular because several tools have been developed implementing theoretical results (e.g. [ACD90]) about Timed Automata [AD94]. In this paper we test the usage of these tools applied to an example which can be easily handled with Duration…
  • Cited by 8 (2 self) – Add To MetaCart
  • PLC-Automata: A New Class of Implementable Real-Time Automata  
  • by Henning Dierks — 1997 — ARTS'97, volume 1231 of LNCS
  • …We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in industrial practice to solve controlling problems. Nevertheless, PLC-Automata are not restricted to PLCs, but can be see…
  • Cited by 36 (10 self) – Add To MetaCart
  • A Unifying Framework for Correct Program Construction  
  • by Henning Dierks, Michael Schenke — 1998 — in Mathematics of Program Construction 98
  • …. We present a description technique for the correct construction of programs that allows us to define terms like refinement, modelchecking, and synthesis as special operations within this framework. From that meta-view on program constructions both advantages and disadvantages of all methods me…
  • Add To MetaCart
  • Modelling and Verifying of a "Cash-Point Service" using Moby/PLC  
  • by Josef Tapken, Henning Dierks — 2000
  • …Moby/plc is a graphical design tool for PLC-Automata, a special class of hierarchical real-time automata suitable for the description of distributed real-time systems that are implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). In this paper we sketch t…
  • Cited by 1 (0 self) – Add To MetaCart
  • Constructing Test Automata from Graphical Real-Time Requirements  
  • by Henning Dierks, Marc Lettrari — 2002 — FTRTFT 2002, volume 2469 of LNCS
  • …A semantics for a graphical specification language of real-time properties (Constraint Diagrams) is presented. The new semantics is given in terms of Timed Automata. A model in terms of Timed Automata satisfies the property given by a Constraint Diagram if the model in parallel composition with t…
  • Cited by 6 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB