layright's Blog

The last snapshot of RTEMS5, RTEMS5.0.0-m2005-2, was released a few days ago on May 8th before branching for RTEMS 5 release. According to the distribution of new RTEMS5 snapshots, I summarized the results of RTEMS5 Testsuites for LEON3/4 processors on laysim , TSIM2-LEON3, RTEMS5-SIS and GR712RC/GR740 development boards. More detailed test results can be found in the RTEMS5 with laysim documents from the Download Article. (https://layright.blogspot.com/2020/02/download-laysim-leon3.html) - [RTEMS5-001] Establish RTEMS5 (2010-01-16) Development Environment with laysim - [RTEMS5-002] Establish RTEMS5 (m2005-2) Development Environment with laysim

laysim-GR740 Quad Core Processor Emulator laysim-GR740 consists of three types of emulators: laysim-gr740 ,  laysim-gr740-dbt  and  laysim-gr740-mdbt . laysim-gr740 is a graphic user interface (GUI)-based and cycle-accurate emulator for the GR740 quad core processor based on interpretation method. It includes an embedded source-level debugger and supports MMU for Linux-SMP and XtratuM-SMP. laysim-gr740-dbt is a GUI-based high-performance and cycle-approximate processor emulator with dynamic binary translation method. laysim-gr740-mdbt  is a new parallel GR740 processor emulator which adopts the multi-thread framework with DBT through 2 years development by KARI. It can satisfy the real-time performance of GR740 on a high-end PC such as Intel i9-11900K @5GHz. All  laysim-gr740 ,  laysim-gr740-dbt  and  laysim-gr740-mdbt  support Windows and Linux x64 platform including CentOS 7/8, Ubuntu 18.04 and Debian 10.3. Also two types of CLI (Command Line Interface) version, laysim-gr740

Currently the evaluation version of laysim-NOELV (RISC-V/RV64G, quad core),  laysim-GR740  (quad core),  laysim-GR712RC  (dual core), and  laysim-UT700  can be downloaded.  All  laysim  support Windows and Linux x64 platform including CentOS 7/8, Ubuntu 18.04/22.04, openSUSE 12/15 and Debian 10.3. Limitation of laysim The evaluation version of laysim  does not have any execution limitation except acquiring 1 year free license as described in user's manual Chapter 2.2.  KARIDRIVE has been down for a long time due to security issues. If you need laysim, please send an email to jwchoi@kari.re.kr .

I'm Jong-Wook Choi from KARI (Korea Aerospace Research Institute). I'm an on-board flight software engineer in KARI. I've developed the flight software for KOMPSAT-2/3/5/3A, CAS-500 and GEO-KOMPSAT-2A/2B. Currently I involve in developing of the flight software for KOMPSAT-6/7/7A, and KPLO (Korean Pathfinder Lunar Orbiter). For many years, flight software (FSW) has been developed and verified using the software test bed (STB) environment based on the real hardware in KARI. During the development of FSW on the STB, we have experienced lots of annoying problems such as delayed deliver of target hardware, limited concurrent access to the STB from software engineers, and the time and cost to create multiple STBs for different satellites. Thus, software-based satellite simulators have been developed from the beginning of a satellite project to avoid these issues. The software-based simulator enables the FSW to be developed concurrently with the satellite hardware from the in