Payment Systems in Malaysia: Recent Developments and Issues

Payment systems in Malaysia have been undergoing changes in recent years. Among the notable changes is the emergence of electronic-based payment systems. The central bank has been playing an active role in shaping the development of payment systems, particularly in the gradual introduction of electronic-based payment schemes, in the belief that these have the potential to increase efficiency in the economy as whole. The active introduction of e-payment instruments has increased both the value and volume of transactions per capita use of e-payment instruments in recent years. Checks continue to be the major payment instrument, however. Small- and medium-sized enterprises could benefit tremendously from the use of e-payment schemes through more efficient business operations, cost reductions, enhanced security and wider payment channel choice. Noted improvements have also resulted from the introduction of large-value payment systems, such as the payment versus payment infrastructure for the settlement of Malaysian ringgit (RM)-United States (US) dollar (US$) foreign exchange trades and the delivery versus payment settlement for US dollar securities that are issued, deposited and traded in Malaysia. The development of the domestic payment system is becoming more important in the development of a deep and active domestic financial market that promotes financial market stability and the reinvestment of savings in the country. Closer financial market integration in the region and closer cooperation and policy coordination among the monetary authorities in the region is becoming increasingly important. Eight years after implementation in Malaysia, the e-payment schemes should be studied to assess any economic benefits they may have provided.malaysian payment systems; information and communication technology; asian payment systems study

Strategi Pendidikan Karakter Aswaja dalam Upaya Membentuk Soft Skill

Pendidikan karakter saat ini, merupakan jawaban atas persoalan memprihatinkan keberadaan di masyarakat semakin krisis. Oleh karena itu, pendidikan karakter dinilai sebagai solusi terbaik untuk mengatasi berbagai permasalahan bangsa, melalui pendidikan di lembaga-lembaga pendidikan, khususnya yang yang terkait dengan pengembangan soft skill peserta didik sebagai generasi penerus. Pemikiran ini bertujuan untuk mendeskripsikan strategi implementasi pendidikan karakter terhadap soft skill. Dari hasil menunjukkan bahwa proses pendidikan karakter pembinaan dilakukan dengan menerapkan nilai-nilai pendidikan karakter, dan upaya pelaksanaan pendidikan karakter bagi pembinaan soft skill peserta didik bisa dilakukan dengan mengintegrasikan nilai-nilai Aswaja/Nadhlatul Ulama nilai pendidikan pada semua aspek

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code

We present an approach to systematically derive safety cases for automatically generated code from information collected during a formal, Hoare-style safety certification of the code. This safety case makes explicit the formal and informal reasoning principles, and reveals the top-level assumptions and external dependencies that must be taken into account; however, the evidence still comes from the formal safety proofs. It uses a generic goal-based argument that is instantiated with respect to the certified safety property (i.e., safety claims) and the program. This will be combined with a complementary safety case that argues the safety of the framework itself, in particular the correctness of the Hoare rules with respect to the safety property and the trustworthiness of the certification system and its individual components

Deriving safety cases for hierarchical structure in model-based development

Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, since code generators are typically not qualified, there is no guarantee that their output satisfies the system requirements, or is even safe. Here we present an approach to systematically derive safety cases that argue along the hierarchical structure in model-based development. The safety cases are constructed mechanically using a formal analysis, based on automated theorem proving, of the automatically generated code. The analysis recovers the model structure and component hierarchy from the code, providing independent assurance of both code and model. It identifies how the given system safety requirements are broken down into component requirements, and where they are ultimately established, thus establishing a hierarchy of requirements that is aligned with the hierarchical model structure. The derived safety cases reflect the results of the analysis, and provide a high-level argument that traces the requirements on the model via the inferred model structure to the code. We illustrate our approach on flight code generated from hierarchical Simulink models by Real-Time Worksho

Sustainable economic development : concept, principles and management from Islamic perspective

The basic concern of development in Islamic economic system is on human welfare. This is in line with the very basic objective of Islamic jurisprudence (Shari’ah ) which puts important to the welfare of the people and their relief from hardship. Economic development should be consistent with this central objective of shari`ah. The center for development process in Islam relies on man as an economic agent. It is man to be educated on the entire development process by integrating sosial development, economic development and environmental conservation and protection. This paper attempts to explain the concept, principles and management of sustainable economic development from Islamic perspective. The paper would start by defining the concept of sustainable economic development and development goals. Next, the Islamic principles for sustainable economic development would be discussed, followed by the discussion on the management of sustainable economic development from Islamic perspective. In conclusion, the paper strongly suggests the economic development process to fully adhere to the Islamic principles as the key for sustainable development which covers both the material and non-material aspects of life. Keywords: Sustainable development, Economic development, management, Islamic economics, economic syste