GRREF

Sunday, February 25, 2018

GRREF::SAB Heli Division

SAB Heli Division
Goblin-Helicopter :: SAB Heli Division

The company is focused on designing and building radio-controlled helicopter, Blade/Tail blades for RC Helicopter.

About SAB Heli Division
SAB HELI DIVISION is a Division of SAB, a company with 20 years of experience in designing and manufacturing carbon fiber rotor blades in Italy. SAB has been achieved worldwide success with numerous championships from World Cup Championship to European Championship, and other USA titles. SAB HELI DIVISION is a result of years of planning and designing the most modern helicopters at highest quality, most aggressive and an uncompromised passion for perfect helicopters. Goblin helicopters from SAB HELI DIVISION blur the tradition boundaries of what is possible to break into a new dimension of this hobby. The Goblin helicopters are very unique in design, ultra fast but also extremely robust for modern extreme 3D pilots. [source: http://www.goblin-helicopter.com/shop/about_us.php]

Sunday, October 22, 2017

Best Piece of Advice by Elon Musk

The single best piece of advice: Constantly think about how you could be doing things better and questioning yourself.

Elon Musk

Thursday, October 19, 2017

Physics' Neural Networks

https://m.phys.org/news/2017-10-physics-boosts-artificial-intelligence-methods.html

Thursday, September 28, 2017

State Transitions Mapped into Directed Multigraph

State Transitions Mapped into Directed Multigraph

From: State of Starting

To: State of Closed

State Transitions Mapped into Directed Graph

S : States {}

Fact 1: States form a Directed Multigraph.

state S1

Example

state S2

Fact 2: Each State is a Node.

…

Fact 3: Each Transition is a Directed Member.

state Sh

|S|= h

State Transitions Mapped into Directed Multigraph

Wednesday, September 27, 2017

Alpha Channel in Unity Game Engine

Alpha Channel in Unity Game Engine

Unity uses straight alpha blending. Hence, you need to expand the color layers. The alpha channel in Unity will be read from the first alpha channel in the Photoshop file (read more at source).

Also see: Applying a Color to a Texture's Alpha Channel

***Rem)

For transparency, Unity can only support the alpha channel. Due to this, Unity provided an Action [AlphaUtility.zip as in the asset folder of this document, “2015 - SUMMARY-Unity3D-Part001.docx - Assets”] to be loaded into Photoshop. To understand this see Chapter 8 of http://www.digitaltutors.com/tutorial/603-Unity-Mobile-Game-Development-User-Interface-Design#overview.

Note: need to know masking to understand the last three lessons of http://www.digitaltutors.com/tutorial/603-Unity-Mobile-Game-Development-User-Interface-Design.

Saturday, August 12, 2017

Visual Studio 20XX's C# Language Specification

Visual Studio 20XX's C# Language Specification

Visual Studio 2012's C# Language Specification Version is 5.0.
You can download this spec from the Microsoft Developer Network (MSDN). If you've installed Visual Studio 2012, you can also find the spec on your computer in the Program Files (x86)/Microsoft Visual Studio 11.0/VC#/Specifications/1033 folder. However, installations of Visual Studio Express 2012 don't include this file.

The original Visual Studio 2015's C# Language Specification Version is 5.0 (Version 6.0 of the specification had not been approved as a standard at the time of releasing Visual Studio 2015.) The current [Aug 10, 2017] Visual Studio 2015's C# Language Specification Version is 6.0.
Visual Studio 2017's C# Language Specification Version is 7.0.

Monday, August 7, 2017

Introducing AADL and Its Tools

Introducing AADL and Its Tools

What is AADL?

The Architecture Analysis & Design Language, AADL, is designed for the specification, analysis, automated integration and code generation of real-time performance-critical (timing, safety, schedulability, fault tolerant, security, etc.) distributed computer systems. It provides a new vehicle to allow analysis of system designs (and system of systems) prior to development and supports a model-based, model-driven development approach throughout the system life cycle.

Ocarina

Ocarina is a stand-alone AADL model processor, written in Ada. It is distributed under the GPLv3 plus runtime exception.

It supports the following features:

• Parser: support both AADL1.0 and AADLv2 syntaxes;
• Code generation: targetting C real-time operating systems: RT-POSIX, Xenomai, RTEMS; and Ada using GNAT for native and Ravenscar targets;
• Model checking: mapping of AADL models onto Petri Nets, timed (TINA) or colored (CPN-AMI);
• Schedulability analysis: mapping of AADL models onto Cheddar or MAST models
• Model Analysis: using the REAL language, one can analyse an AADL model for particular patterns or compute metrics.
Ocarina is an independent tool, it can either be used
• Stand-alone: from the commande line
• OSATE2 Integration: Ocarina can also be integrated to OSATE2 using a dedicated plug-in, see the following page for more details.
• Library: Ocarina can be integrated in third-party tool, like Cheddar.

Ocarina runs on Linux, Windows, Mac OS X. Thanks to Ada portability, it can be ported to any platform supported by GNAT for native development.

AADL Tool: TASTE toolchain supported by the European Space Agency

AADL Tool: OSATE that includes a modeling platform, a graphical viewer and a constraint query languages

Code Generation with AADL: A State-of-the-Art Report

Their approach integrates two different modeling notations to capture system concerns:

1.The architecture is specified using AADL. This architecture defines the execution environment, software deployment, and configuration and includes the number of tasks, allocation to a processor, binding of a connection on a specific bus to transport data, and other specifications. Some people relate to this view as the so-called nonfunctional architecture (how the system provides its functions).

2.The behavior is specified using Simulink, which characterizes how the system processes and uses the data from its environment, for example, to compute new data or activate a device. Some relate to this view as the functional architecture (what functions the system provides).

Simulink

Simulink, developed by MathWorks, is a graphical programming environment for modeling, simulating and analyzing multidomain dynamic systems. Its primary interface is a graphical block diagramming tool and a customizable set of block libraries. It offers tight integration with the rest of the MATLAB environment and can either drive MATLAB or be scripted from it. Simulink is widely used in automatic control and digital signal processing for multidomain simulation and Model-Based Design.

Project P

The goal of Project P is to support the model-driven engineering of high-integrity embedded real-time systems by providing an open code generation framework able to: 1. Verify the semantic consistency of systems described using safe subsets of heterogeneous modeling languages, ranging from behavioural to architectural languages and presenting a synchronous and asynchronous semantics (Simulink/Matlab, Scicos, Xcos, SysML, MARTE, UML).
2.Generate optimized source code for multiple programming (Ada, C/C++) and syntesis (VHDL, SystemC) languages.
3. Support a multi-domain (avionics, space, and automotive) certification process by providing open qualification material.

Function Model

A function model or functional model in systems engineering and software engineering is a structured representation of the functions (activities, actions, processes, operations) within the modeled system or subject area.

Business Process Execution Language

The Web Services Business Process Execution Language (WS-BPEL), commonly known as BPEL (Business Process Execution Language), is an OASIS standard executable language for specifying actions within business processes with web services. Processes in BPEL export and import information by using web service interfaces exclusively.

AADL on IEEE Xplore
Google Search for AADL Code Generation
AADL Tutorials on YouTube

(LABEL) AADL Eclectics
(LABEL) Code Generation Eclectics

Pages