Real-time software engineering in Ada: observations and recommendations

Author(s):  
M. Borger ◽  
M. Klein ◽  
R. Veltre
IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett

2021 ◽  
Vol 9 (1) ◽  
pp. 80-91
Author(s):  
Adi Widiatmoko Wastumirad ◽  
Moh Irzam Darmawan

Today, the internet has become the most used tool for delivering information. Through the internet, people can search for information by freely accessing a web page. This freedom of access often raises security issues in the website provider's internal network. These security issues can be in the form of misuse of information, threats, and other attacks on the provider's internal network. Based on these conditions, a technique is needed to protect important data on the website owner's server from various attacks. In this research, a Honeypot security system has been implemented using Dionaea and Kippo in the Demilitarized Zone to increase the security of a network. The methodology of this research is Waterfall Model for software engineering. The system that has been built is able to detect, take action, record attack logs and display them in the form of a website in real time.


2016 ◽  
Vol 4 (3) ◽  
pp. 163-181
Author(s):  
Pouria Sarhadi ◽  
Reza Nad Ali Niachari ◽  
Morteza Pouyan Rad ◽  
Javad Enayati

Purpose The purpose of this paper is to propose a software engineering procedure for real-time software development and verification of an autonomous underwater robotic system. High performance and robust software are one of the requirements of autonomous systems design. A simple error in the software can easily lead to a catastrophic failure in a complex system. Then, a systematic procedure is presented for this purpose. Design/methodology/approach This paper utilizes software engineering tools and hardware-inthe-loop (HIL) simulations for real-time system design of an autonomous underwater robot. Findings In this paper, the architecture of the system is extracted. Then, using software engineering techniques a suitable structure for control software is presented. Considering the desirable targets of the robot, suitable algorithms and functions are developed. After the development stage, proving the real-time performance of the software is disclosed. Originality/value A suitable approach for analyzing the real-time performance is presented. This approach is implemented using HIL simulations. The developed structure is applicable to other autonomous systems.


Robotica ◽  
1997 ◽  
Vol 15 (1) ◽  
pp. 111-115 ◽  
Author(s):  
D. Simon ◽  
B. Espiau ◽  
K. Kapellos ◽  
R. Pissard-Gibollet

The ORCCAD programming environment for robotic systems gathers control laws in continuous time at the low levels and discrete time logical aspects at higher levels. Based upon a formal definition of robotic actions, complex applications can be designed, verified and generated incrementally. The approach and tools prototypes have been validated through several applications.


Sign in / Sign up

Export Citation Format

Share Document