Representation of Raspberry PI Practice in Z Notation
Wen Jinjie, Guo Yang, Zhao Zhengxu
Current Journal of Applied Science and Technology · pp. 1–9 · Published 16 Apr 2016
10.9734/BJAST/2016/25211Abstract
The maker is the pioneer of open source, and the open hardware is the essential tools for the makers. As the typical representative of the open hardware, Raspberry Pi has been widely applied in open source since 2012. Z notation is a formal specification language based on the set theory and the first order predicate logic. So the Z notation can improve the reliability and robustness of the computer system using strict mathematical theory. This paper accomplishes a technical explanation of the concept of open hardware and the organization of the Raspberry pi via utilizing the Z notation. The Z notation of Raspberry pi is more precise and more systematic compared with the other informal specification. This research has great significance for the large-scale popularization of Raspberry pi and open hardware development.
Cited by 1
Jinjie Wen, Zheng-Xu Zhao, Yang Guo · 2019
Related research
- Ensuring Effective Secure Learning Environment using Authentication System in Terms of Cost and Time at Kumasi Technical University, Ghana — shares topic coverage
- Design, Simulation, Building, and Testing of a Microcontroller-Based Automatic Drowsiness Detection, Vehicle Braking, and Alert System — shares topic coverage
- Design of an All-in-One Drowning Prevention and Monitoring System — shares topic coverage
- Novel Illumination-invariant Face Recognition Approach via Reflectance-luminance and Local Matching Model with Weighted Voting System — shares topic coverage
- Lightweight YOLOv8 Optimized Deep Neural Network for Real-Time Weapon Detection on Raspberry Pi 5 in Smart Surveillance Systems — shares topic coverage
Article metrics
Real usage data collected on this platform.
21
Page views
0
PDF downloads
3
Outbound clicks
1
Citations
Views over time
Views by country
Approximate, from request IP at view time — not citizenship or institution. Countries with fewer than 5 views are grouped as "Other".
Traffic sources
Referring site, by host.
Views and downloads exclude known bots/crawlers. Citations combines this platform's own DOI-resolved index with each external source's own reported total — see Cited by above for individually listed citing works. Last refreshed 0 seconds ago.