ASTRAL

Hardware specification using the assertion language ASTRAL We introduce the use of ASTRAL, an assertion language developed at UCSB for specification and design of real-time systems, as a hardware description language. ASTRAL is based on ASLAN and RT-ASLAN. We argue that ASTRAL satisfies the fundamental requirements of a hardware description language. The use of ASTRAL as a hardware description language is shown by means of two significant examples


References in zbMATH (referenced in 16 articles , 1 standard article )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Xie, Gaoyan; Dang, Zhe: Testing systems of concurrent black-boxes -- an automata-theoretic and decompositional approach (2006)
  2. Dang, Zhe; Bultan, Tevfik; Ibarra, Oscar H.; Kemmerer, Richard A.: Past pushdown timed automata and safety verification. (2004)
  3. Attanasio, Candida; Corradini, Flavio; Inverardi, Paola: Static analysis of real-time component-based systems configurations (2003)
  4. Dang, Zhe: Pushdown timed automata: A binary reachability characterization and safety verification. (2003)
  5. Dang, Zhe; Ibarra, Oscar H.; Kemmerer, Richard A.: Generalized discrete timed automata: Decidable approximations for safety verification. (2003)
  6. Dang, Zhe; San Pietro, Pierluigi; Kemmerer, Richard A.: Presburger liveness verification of discrete timed automata. (2003)
  7. Kolano, Paul Z.: Proof assistance for real-time systems using an interactive theorem prover (2002)
  8. Wu, Guoqing; Shu, Fengdi; Wang, Min; Chen, Weiqing: Requirements specifications checking of embedded real time software (2002)
  9. Dang, Zhe: Binary reachability analysis of pushdown timed automata with dense clocks (2001)
  10. Dang, Zhe; Ibarra, Oscar H.; Kemmerer, Richard A.: Decidable approximations on generalized and parameterized discrete timed automata (2001)
  11. Dang, Zhe; San Pietro, Pierluigi; Kemmerer, Richard A.: On Presburger liveness of discrete timed automata (2001)
  12. Glinz, Martin; Berner, Stefan; Joos, Stefan; Ryser, Johannes; Schett, Nancy: The ADORA approach to object-oriented modeling of software (2001)
  13. Shalyto, A.A.: Logic control and “reactive” systems: algorithmization and programming (2001)
  14. Dang, Zhe; Ibarra, Oscar H.; Bultan, Tevfik; Kemmerer, Richard A.; Su, Jianwen: Binary reachability analysis of discrete pushdown timed automata (2000)
  15. Gargantini, Angelo; Mandrioli, Dino; Morzenti, Angelo: Dealing with zero-time transitions in axiom systems. (1999)
  16. Buonanno, Giacomo; Coen-Porisini, Alberto; Fornaciari, William: Hardware specification using the assertion language ASTRAL (1992)