Using Hazard Analysis STAMP/STPA in Developing Model-Oriented Formal Specification toward Reliable Cloud Service

The food safety security (FSS) concept is perceived as an early warning system for minimizing food safety (FS) breaches, and it functions in conjunction with existing FS measures. Essentially, the function of FS and FSS measures can be visualized in two parts: (i) the FS preventive measures as actions taken at the stem level, and (ii) the FSS interventions as actions taken at the root level, to enhance the impact of the implemented safety steps. In practice, along with FS, FSS also draws its support from (i) legislative directives and regulatory measures for enforcing verifiable, timely, and effective compliance; (ii) measurement systems in place for sustained quality assurance; and (iii) shared responsibility to ensure cohesion among all the stakeholders namely, policy makers, regulators, food producers, processors and distributors, and consumers. However, the functional framework of FSS differs from that of FS by way of: (i) retooling the vulnerable segments of the preventive features of existing FS measures; (ii) fine-tuning response systems to efficiently preempt the FS breaches; (iii) building a long-term nutrient and toxicant surveillance network based on validated measurement systems functioning in real time; (iv) focusing on crisp, clear, and correct communication that resonates among all the stakeholders; and (v) developing inter-disciplinary human resources to meet ever-increasing FS challenges. Important determinants of FSS include: (i) strengthening international dialogue for refining regulatory reforms and addressing emerging risks; (ii) developing innovative and strategic action points for intervention {in addition to Hazard Analysis and Critical Control Points (HACCP) procedures]; and (iii) introducing additional science-based tools such as metrology-based measurement systems.

Download Full-text

Editorial: The formal specification of interactive systems

Software Engineering Journal ◽

10.1049/sej.1996.0042 ◽

1996 ◽

Vol 11 (6) ◽

pp. 322 ◽

Cited By ~ 1

Author(s):

M.D. Harrison

Keyword(s):

Formal Specification ◽

Interactive Systems

Download Full-text

Multimedia system and database simulation based on internet of things and cloud service platform

Journal of Intelligent & Fuzzy Systems ◽

10.3233/jifs-189253 ◽

2020 ◽

pp. 1-12

Author(s):

Zhang Caiqian ◽

Zhang Xincheng

Keyword(s):

Internet Of Things ◽

Cloud Service ◽

Multimedia System ◽

The Internet ◽

Multimedia Database ◽

Cloud Platform ◽

Service Platform ◽

Device Management ◽

Cloud Service Platform ◽

The Internet Of Things

The existing stand-alone multimedia machines and online multimedia machines in the market have certain deficiencies, so they cannot meet the actual needs. Based on this, this research combines the actual needs to design and implement a multi-media system based on the Internet of Things and cloud service platform. Moreover, through in-depth research on the MQTT protocol, this study proposes a message encryption verification scheme for the MQTT protocol, which can solve the problem of low message security in the Internet of Things communication to a certain extent. In addition, through research on the fusion technology of the Internet of Things and artificial intelligence, this research designs scheme to provide a LightGBM intelligent prediction module interface, MQTT message middleware, device management system, intelligent prediction and push interface for the cloud platform. Finally, this research completes the design and implementation of the cloud platform and tests the function and performance of the built multimedia system database. The research results show that the multimedia database constructed in this paper has good performance.

Download Full-text

PEMETAAN DAERAH RENTAN GEMPA BUMI SEBAGAI DASAR PERENCANAAN TATA RUANG DAN WILAYAH DI PROVINSI SULAWESI BARAT

KURVATEK ◽

10.33579/krvtk.v1i2.417 ◽

2017 ◽

Vol 1 (2) ◽

pp. 41-47

Author(s):

Marinda noor Eva

Keyword(s):

Seismic Hazard ◽

Hazard Analysis ◽

Probabilistic Seismic Hazard Analysis ◽

Seismic Hazard Analysis ◽

Probabilistic Seismic Hazard

Penelitian mengenai daerah rawan gempa bumi ini menggunakan Metode Probabilistic Seismic Hazard Analysis (PSHA) di Provinsi Sulawesi Barat, dengan tujuan untuk memetakan tingkat kerawanan bahaya gempa bumi di Kabupaten Mamasa. Penelitian ini menggunakan data kejadian gempa bumi di Pulau Sulawesi dan sekitarnya dari tahun 1900 – 2015. Hasil pengolahan PSHA menggunakan Software Ez-Frisk 7.52 yang menghasilkan nilai hazard di batuan dasar pada kondisi PGA (T = 0,0 sekon), dengan periode ulang 500 tahun dan 2500 tahun berkisar antara (149,54 – 439,45) gal dan (287,18 – 762,81) gal. Nilai hazard di batuan dasar dengan kondisi spektra T = 0,2 sekon untuk periode ulang 500 tahun dan 2500 tahun adalah (307,04 – 1010,90) gal dan (569,48 – 1849,78) gal. Nilai hazard di batuan dasar dengan kondisi spektra T = 1,0 sekon untuk periode ulang 500 tahun dan 2500 tahun diperoleh nilai (118,01 – 265,75) gal dan (223,74 – 510,92) gal. Berdasarkan analisis PSHA, nilai PGA di Provinsi Sulawesi Barat dominan dipengaruhi oleh sumber gempa sesar.

Download Full-text