SystemCSP : a graphical language for designing concurrent component-based embedded control systems

The main contribution of this thesis is the introduction of SystemCSP, a novel graphical design language for specification of interactions in concurrent component based embedded control systems. SystemCSP was developed in the scope of the embedded control systems application area. However, SystemCSP is intended to be used in any kind of software/hardware development dealing with interaction of concurrent components

Quantum picturalism for topological cluster-state computing

Topological quantum computing is a way of allowing precise quantum computations to run on noisy and imperfect hardware. One implementation uses surface codes created by forming defects in a highly-entangled cluster state. Such a method of computing is a leading candidate for large-scale quantum computing. However, there has been a lack of sufficiently powerful high-level languages to describe computing in this form without resorting to single-qubit operations, which quickly become prohibitively complex as the system size increases. In this paper we apply the category-theoretic work of Abramsky and Coecke to the topological cluster-state model of quantum computing to give a high-level graphical language that enables direct translation between quantum processes and physical patterns of measurement in a computer - a "compiler language". We give the equivalence between the graphical and topological information flows, and show the applicable rewrite algebra for this computing model. We show that this gives us a native graphical language for the design and analysis of topological quantum algorithms, and finish by discussing the possibilities for automating this process on a large scale.Comment: 18 pages, 21 figures. Published in New J. Phys. special issue on topological quantum computin

HARDWARE DESIGN OF THE TOUCHLESS HAND CODE AND CONVOLUTIONAL NEURAL NETWORKS - BASED AUTOMATIC DOOR SECURITY SYSTEM

The spread of viruses and bacteria through touching door surfaces is essential in maintaining public hygiene and health. In this context, a hand-coded touchless automatic door hardware design has been developed to reduce the spread of diseases through touch. This research aims to create a plan that includes interface development and hardware design to open and close doors automatically without contact. In this research, the automatic door hardware response is tested based on the numeric input from the hand code represented by the numeric database. The input and output control is connected to Python's graphical user interface (GUI). The GUI system design involves tools to connect the Python programming language and the Arduino microcontroller. Based on the experimental results, the hardware design of the automatic door security system based on hand code and Convolutional Neural Networks functions appropriately

The ixiQuarks: merging code and GUI in one creative space

This paper reports on ixiQuarks; an environment of instruments and effects that is built on top of the audio programming language SuperCollider. The rationale of these instruments is to explore alternative ways of designing musical interaction in screen-based software, and investigate how semiotics in interface design affects the musical output. The ixiQuarks are part of external libraries available to SuperCollider through the Quarks system. They are software instruments based on a non- realist design ideology that rejects the simulation of acoustic instruments or music hardware and focuses on experimentation at the level of musical interaction. In this environment we try to merge the graphical with the textual in the same instruments, allowing the user to reprogram and change parts of them in runtime. After a short introduction to SuperCollider and the Quark system, we will describe the ixiQuarks and the philosophical basis of their design. We conclude by looking at how they can be seen as epistemic tools that influence the musician in a complex hermeneutic circle of interpretation and signification

High level modeling of Partially Dynamically Reconfigurable FPGAs based on MDE and MARTE

International audienceSystem-on-Chip (SoC) architectures are becoming the preferred solution for implementing modern embedded systems. However their design complexity continues to augment due to the increase in integrated hardware resources requiring new design methodologies and tools. In this paper we present a novel SoC co-design methodology based on aModel Driven Engineering framework while utilizing the MARTE (Modeling and Analysis of Real-time and Embedded Systems) standard. This methodology permits us to model fine grain reconfigurable architectures such as FPGAs and allows to extend the standard for integrating new features such as Partial Dynamic Reconfiguration supported by modern FPGAs. The overall objective is to carry out modeling at a high abstraction level expressed in a graphical language like UML (Unified Modeling Language) and afterwards transformations of these models, automatically generate the necessary specifications required for FPGA implementation

Web-based Expert System Application to Recommend Computer Specifications for Gaming Using Backward Chaining Inference Method

This study aims to design and implement an expert system application to provide minimum computer hardware and operating system requirements, which are capable of running games with certain graphical settings. Backward chaining inference method is used to conclude the output, which the requirements are based on user\u27s input. The application is made using PHP general-purpose server-side scripting language and MySQL database. By using this application, a user can consult as well as to an expert to know the computer specifications capable of running a game with preferred graphical settings and to estimate the cost to build that computer. This application can also help sellers of computer parts to set price on the custom-built computers, to create category or sales package, as well as to provide information for potential buyers

Cognitive dimensions usability assessment of textual and visual VHDL environments

Visual programming languages promise to make programming easier with simpler graphical methods, broadening access to computing by lessening the need for would-be users to become proficient with textual programming languages, with their somewhat arcane grammars and methods removed from the problem space of the user. However, after more than forty years of research in the field, visual methods remain in the margins of use and programming remains the bailiwick of people devoted to the endeavor. VPL designers need to understand the mechanisms of usability that pertain to complex systems like programming language environments. Effective research tools for studying usability, and sufficiently constrained, mature subjects for investigation are scarce. This study applies a usability research tool, with its origins in applied psychology, to a programming language surrogate from the hardware description language class of notations. The substitution is reasonable because of the great similarity between hardware description languages and programming languages. Considering VHDL (the VHSIC Hardware Description Language) is especially worthwhile for several reasons, but primarily because significant numbers of digital designers regularly employ both textual and visual VHDL environments to meet the same real-world design challenges. A comparative analysis of Cognitive Dimensions assessments of textual and visual VHDL environments should further understanding of the usability issues specifically related to visual methods – in many cases, the same visual methods used in visual programming languages. Furthermore, with this real-world ‘field lab’ better understood, it should be possible to design experiments to pursue the formalization of the CDs framework as a theory