Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system

QR Code

Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system

The task of checking whether a real-time system satisfies its timing and concurrency specifications is extremely important. One major area of research addressing software reliability aspect is called formal method, which attempts to prove the correctness of programs with respect to system specificat...

Full description

Bibliographic Details
Main Authors:	Mohamad, Radziah, Abang Jawawi, Dayang Norhayati, Deris, Safaai, Mamat, Rosbi
Format:	Article
Language:	English
Published:	Penerbit UTM Press 2001
Subjects:	T Technology (General)
Online Access:	http://eprints.utm.my/937/ http://eprints.utm.my/937/1/JT34D3.pdf

Similar Items

Experimental evaluation of hybrid software engineering methodology for embedded firmware development on intelligent mobile robot
by: Abang Jawawi, Dayang Norhayati, et al.
Published: (2004)

A component-oriented programming framework for developing embedded mobile robot software using PECOS model
by: Abang Jawawi, Dayang Norhayati, et al.
Published: (2006)

Enhancements of PECOS embedded real-time component model for autonomous mobile robot application
by: Abang Jawawi, Dayang Norhayati, et al.
Published: (2006)

A component-oriented programming for embedded mobile robot software
by: A. Jawawi, Dayang N., et al.
Published: (2007)

A generative reuse approach for component- based software engineering of embedded real-time system
by: Abang Jawawi, Dayang Norhayati, et al.
Published: (2007)

A review of real-time software engineering methodologies for developing a wall-climbing robot control firmware
by: Jawawi, D. N. A., et al.
Published: (2000)

A review of real-time software engineering methodologies for developing a wall-climbing robot control firmware
by: Jawawi, D.N.A, et al.
Published: (2000)

An approach to reusable software for mobile robot applications through analysis patterns
by: Jawawi, Dayang N. A., et al.
Published: (2005)

Wall climbing robot
by: Rahman, Md. Mozasser
Published: (2010)

Framework for component-based software engineering of embedded software in resource constrained real-time systems
by: Abg. Jawawi, Dayang Norhayati, et al.
Published: (2008)

Wall Climbing Robot: Mechanical Design and Implementation
by: Albagul, Abdulgani, et al.
Published: (2011)

Pembangunan perisian untuk sistem terbenam masa nyata menggunakan prinsip-prinsip kejuruteraan perisian.
by: Abg. Jawawi, Dyg. Norhayati, et al.
Published: (2001)

Study On Various Adhesion Mechanism For A Wall Climbing Robot
by: Yap, Pooi Yee
Published: (2018)

Design and development of a wall climbing robot and its control system
by: Akhtaruzzaman, Md., et al.
Published: (2009)

Rope climbing robot
by: Thanachelvan, Rajan
Published: (2010)

Rope climbing robot
by: Noor Juraizah, Mohd Jinal
Published: (2009)

Stair climbing robot
by: Sharifah Fatma Munirah, Syed Zain
Published: (2017)

Stair climbing robot
by: Syazwan, Kamaruzzaman
Published: (2009)

Synergy between generative reuse and software product line
by: Abd. Halim, Shahliza, et al.
Published: (2006)

Implementation of embedded web server for mobile robot system
by: Ahmad Salleh, Noor Azurati, et al.
Published: (2007)

A multimodal miniaturised soft robot for accessing remote areas by passive-flight and wall-climbing
by: Sriratanasak, Natthapol
Published: (2024)

Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah
by: Nursyahidah Alias, et al.
Published: (2013)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Mechanical design of a quadruped robot for horizontal ground to vertical wall movement
by: Sh. I. Alsalameh, Abd Alsalam, et al.
Published: (2000)

Design of fast climbing robot for tree with multiple diverging branche
by: Ahmad Najmuddin, Ibrahim, et al.
Published: (2018)

Formal Specification Language For Design Patterns.
by: Taibi, Taufik
Published: (2003)

An embedded fuzzy behaviour based controller for mobile robot
by: A. Majid, Norhayati
Published: (2007)

Framework For Merging Object-Oriented Formal Specifications
by: Taibi , Fathi
Published: (2010)

A Formal Specification Language For Design Patterns.
by: Taufik Taibi,
Published: (2003)

Development of an automatic self balancing control system for a tree climbing robot
by: Shokripour, Hamed, et al.
Published: (2011)

Hardware development for MURoC rope climbing robot using sloth method
by: Thong, Kok Tung
Published: (2016)

The automatic assessment of Z specifications
by: Shukur, Zarina
Published: (1999)

Eksplorasi dan aplikasi teknik ilustrasi grafiti pada "Speed Wall Climbing" di Genting X-Pedition Wall
by: Saharuddin Anuar, bin Sulaiman
Published: (2011)

Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z
by: Zarina Shukur,, et al.
Published: (2009)

Formal Specification Language for Vehicular Ad-Hoc Networks
by: Maythem Kamal , Abbas, et al.
Published: (2009)

Formal specification of design pattern combination using BPSL
by: Taibi, T
Published: (2003)

Effects of hard particles on friction coefficients and particle embedment in brake system during hard braking
by: Abdul Hamid, M., et al.
Published: (2012)

Design of a delta configuration tree climbing robot using four-bar linkage
by: Muhamad Najmuddin, Abdul Kahar, et al.
Published: (2025)

Wall avoiding robot
by: Mohd Noor, Zamri
Published: (2008)

The functional dendritic cell algorithm: a formal specification with Haskell
by: Greensmith, Julie, et al.
Published: (2017)